S

SAT solver

Projects with this topic

Jan Bruns / passat

A boolean constraint (cnf), satisfyability solver. This one by design generates very short unsat proofs.

SAT solver cnf Pascal
+ 1 more

0

Updated Jun 29, 2022

0 0 0 0

Updated Jun 29, 2022