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 / jnh /
at main 50 files
zenmaya Add satlib tests
53a008e7
jnh1.cnf
jnh10.cnf
jnh11.cnf
jnh12.cnf
jnh13.cnf
jnh14.cnf
jnh15.cnf
jnh16.cnf
jnh17.cnf
jnh18.cnf
jnh19.cnf
jnh2.cnf
jnh20.cnf
jnh201.cnf
jnh202.cnf
jnh203.cnf
jnh204.cnf
jnh205.cnf
jnh206.cnf
jnh207.cnf
jnh208.cnf
jnh209.cnf
jnh210.cnf
jnh211.cnf
jnh212.cnf
jnh213.cnf
jnh214.cnf
jnh215.cnf
jnh216.cnf
jnh217.cnf
jnh218.cnf
jnh219.cnf
jnh220.cnf
jnh3.cnf
jnh301.cnf
jnh302.cnf
jnh303.cnf
jnh304.cnf
jnh305.cnf
jnh306.cnf
jnh307.cnf
jnh308.cnf
jnh309.cnf
jnh310.cnf
jnh4.cnf
jnh5.cnf
jnh6.cnf
jnh7.cnf
jnh8.cnf
jnh9.cnf