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


#1

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.