maya.zenmaya.xyz / solver
a mildly optimized sat solver
sat-solver
0
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

solver / tests /
at main 1 folder 8 files
zenmaya Cleanup
48839c88
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