Projects with this topic
Sort by:
-
A boolean constraint (cnf), satisfyability solver. This one by design generates very short unsat proofs.
Updated
A boolean constraint (cnf), satisfyability solver. This one by design generates very short unsat proofs.
