Varisat 0.1.3: LRAT Generation and Proof Trimming (SAT solver written in Rust, now usable as library)


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.