A research platform and active library for generalised SAT solving
Primary LanguageC++
No issues in this repository yet.