Yirmiuc / cadical

Simplified Satisfiability Solver