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 / bmc /
at main 13 files
zenmaya Add satlib tests
53a008e7
bmc-galileo-8.cnf
bmc-galileo-9.cnf
bmc-ibm-1.cnf
bmc-ibm-10.cnf
bmc-ibm-11.cnf
bmc-ibm-12.cnf
bmc-ibm-13.cnf
bmc-ibm-2.cnf
bmc-ibm-3.cnf
bmc-ibm-4.cnf
bmc-ibm-5.cnf
bmc-ibm-6.cnf
bmc-ibm-7.cnf