cdcl topic
List
cdcl repositories
splr
71
Stars
8
Forks
Watchers
A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
SatPie
20
Stars
4
Forks
Watchers
SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay
HustProgramDesign
15
Stars
0
Forks
Watchers
Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.