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 / qg /
at main 22 files
zenmaya Add satlib tests
53a008e7
qg1-07.cnf
qg1-08.cnf
qg2-07.cnf
qg2-08.cnf
qg3-08.cnf
qg3-09.cnf
qg4-08.cnf
qg4-09.cnf
qg5-09.cnf
qg5-10.cnf
qg5-11.cnf
qg5-12.cnf
qg5-13.cnf
qg6-09.cnf
qg6-10.cnf
qg6-11.cnf
qg6-12.cnf
qg7-09.cnf
qg7-10.cnf
qg7-11.cnf
qg7-12.cnf
qg7-13.cnf