#cadical — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #cadical, aggregated by home.social.
-
Cadical 2.1.3 built as an upcomming Nix package solves T56.2.0.cnf in 147.2 sec.
Cadical 1.9.5 installed by elan as a part of Lean-4.16.0 binary pack does in 111.0 sec.
Hmm, the Nix version does not seem to be applied some optimizations. A pretty big difference. (My solver solves it in 245.2 sec.)