maya.zenmaya.xyz / solver
a mildly optimized sat solver
sat-solver
Star
Fork 0
Watch
solver tests satlib bf
4 files
bf0432-007.cnf
bf1355-075.cnf
bf1355-638.cnf
bf2670-001.cnf