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 / satlib / ssa /
at main 8 files
zenmaya Add satlib tests
53a008e7
ssa0432-003.cnf
ssa2670-130.cnf
ssa2670-141.cnf
ssa6288-047.cnf
ssa7552-038.cnf
ssa7552-158.cnf
ssa7552-159.cnf
ssa7552-160.cnf