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 / dubois /
at main 13 files
zenmaya Add satlib tests
53a008e7
dubois100.cnf
dubois20.cnf
dubois21.cnf
dubois22.cnf
dubois23.cnf
dubois24.cnf
dubois25.cnf
dubois26.cnf
dubois27.cnf
dubois28.cnf
dubois29.cnf
dubois30.cnf
dubois50.cnf