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 / SW100-8-2 /
at main 100 files
zenmaya Add satlib tests
53a008e7
sw100-1.cnf
sw100-10.cnf
sw100-100.cnf
sw100-11.cnf
sw100-12.cnf
sw100-13.cnf
sw100-14.cnf
sw100-15.cnf
sw100-16.cnf
sw100-17.cnf
sw100-18.cnf
sw100-19.cnf
sw100-2.cnf
sw100-20.cnf
sw100-21.cnf
sw100-22.cnf
sw100-23.cnf
sw100-24.cnf
sw100-25.cnf
sw100-26.cnf
sw100-27.cnf
sw100-28.cnf
sw100-29.cnf
sw100-3.cnf
sw100-30.cnf
sw100-31.cnf
sw100-32.cnf
sw100-33.cnf
sw100-34.cnf
sw100-35.cnf
sw100-36.cnf
sw100-37.cnf
sw100-38.cnf
sw100-39.cnf
sw100-4.cnf
sw100-40.cnf
sw100-41.cnf
sw100-42.cnf
sw100-43.cnf
sw100-44.cnf
sw100-45.cnf
sw100-46.cnf
sw100-47.cnf
sw100-48.cnf
sw100-49.cnf
sw100-5.cnf
sw100-50.cnf
sw100-51.cnf
sw100-52.cnf
sw100-53.cnf
sw100-54.cnf
sw100-55.cnf
sw100-56.cnf
sw100-57.cnf
sw100-58.cnf
sw100-59.cnf
sw100-6.cnf
sw100-60.cnf
sw100-61.cnf
sw100-62.cnf
sw100-63.cnf
sw100-64.cnf
sw100-65.cnf
sw100-66.cnf
sw100-67.cnf
sw100-68.cnf
sw100-69.cnf
sw100-7.cnf
sw100-70.cnf
sw100-71.cnf
sw100-72.cnf
sw100-73.cnf
sw100-74.cnf
sw100-75.cnf
sw100-76.cnf
sw100-77.cnf
sw100-78.cnf
sw100-79.cnf
sw100-8.cnf
sw100-80.cnf
sw100-81.cnf
sw100-82.cnf
sw100-83.cnf
sw100-84.cnf
sw100-85.cnf
sw100-86.cnf
sw100-87.cnf
sw100-88.cnf
sw100-89.cnf
sw100-9.cnf
sw100-90.cnf
sw100-91.cnf
sw100-92.cnf
sw100-93.cnf
sw100-94.cnf
sw100-95.cnf
sw100-96.cnf
sw100-97.cnf
sw100-98.cnf
sw100-99.cnf