1 result found Sort:
A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
Created
2018-08-24
92 commits to main branch, last one 6 months ago