kilianar 10461fa316 cadical: 1.4.1 -> 1.5.0 ... https://github.com/arminbiere/cadical/releases/tag/rel-1.5.0		2022-09-02 11:45:36 +02:00
..
default.nix	cadical: 1.4.1 -> 1.5.0	2022-09-02 11:45:36 +02:00