shnarazk / splrLinks

A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
93Updated last week

Alternatives and similar repositories for splr

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

Sorting: