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 / pret /
at main 8 files
zenmaya Add satlib tests
53a008e7
pret150_25.cnf
pret150_40.cnf
pret150_60.cnf
pret150_75.cnf
pret60_25.cnf
pret60_40.cnf
pret60_60.cnf
pret60_75.cnf