I've released an update to Varisat, my SAT solver written in Rust. It is now split into a library varisat
and a command line solver varisat-cli
. It also offers some interesting new features for unsatisfiability proofs.
3 Likes