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 / bf /
at main 4 files
zenmaya Add satlib tests
53a008e7
bf0432-007.cnf
bf1355-075.cnf
bf1355-638.cnf
bf2670-001.cnf