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 / par /
at main 30 files
zenmaya Add satlib tests
53a008e7
par16-1-c.cnf
par16-1.cnf
par16-2-c.cnf
par16-2.cnf
par16-3-c.cnf
par16-3.cnf
par16-4-c.cnf
par16-4.cnf
par16-5-c.cnf
par16-5.cnf
par32-1-c.cnf
par32-1.cnf
par32-2-c.cnf
par32-2.cnf
par32-3-c.cnf
par32-3.cnf
par32-4-c.cnf
par32-4.cnf
par32-5-c.cnf
par32-5.cnf
par8-1-c.cnf
par8-1.cnf
par8-2-c.cnf
par8-2.cnf
par8-3-c.cnf
par8-3.cnf
par8-4-c.cnf
par8-4.cnf
par8-5-c.cnf
par8-5.cnf