1.9.5 is out :) https://github.com/arminbiere/cadical/releases/tag/rel-1.9.5
Flagged Out-of-Date Comment: cadical-pic
meadow flagged cadical-pic out-of-date on 2024-03-26 (UTC) for the following reason:
meadow flagged cadical-pic out-of-date on 2024-03-26 (UTC) for the following reason:
1.9.5 is out :) https://github.com/arminbiere/cadical/releases/tag/rel-1.9.5