maya.zenmaya.xyz / solver
a mildly optimized sat solver
sat-solver
Star
Fork 0
Watch
solver tests
1 folder · 8 files
satlib
download_satlib_archives.py
generate_tests.py
nested_5.sat
nested_8.sat
nqueens_10.cnf
toy_100.sat
toy_5.sat
toy_50.sat