shnarazk / splrLinks

A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
98Updated 3 weeks ago

Alternatives and similar repositories for splr

Users that are interested in splr are comparing it to the libraries listed below

Sorting: