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 / ii /
at main 41 files
zenmaya Add satlib tests
53a008e7
ii16a1.cnf
ii16a2.cnf
ii16b1.cnf
ii16b2.cnf
ii16c1.cnf
ii16c2.cnf
ii16d1.cnf
ii16d2.cnf
ii16e1.cnf
ii16e2.cnf
ii32a1.cnf
ii32b1.cnf
ii32b2.cnf
ii32b3.cnf
ii32b4.cnf
ii32c1.cnf
ii32c2.cnf
ii32c3.cnf
ii32c4.cnf
ii32d1.cnf
ii32d2.cnf
ii32d3.cnf
ii32e1.cnf
ii32e2.cnf
ii32e3.cnf
ii32e4.cnf
ii32e5.cnf
ii8a1.cnf
ii8a2.cnf
ii8a3.cnf
ii8a4.cnf
ii8b1.cnf
ii8b2.cnf
ii8b3.cnf
ii8b4.cnf
ii8c1.cnf
ii8c2.cnf
ii8d1.cnf
ii8d2.cnf
ii8e1.cnf
ii8e2.cnf