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 / aim /
at main 72 files
zenmaya Add satlib tests
53a008e7
aim-100-1_6-no-1.cnf
aim-100-1_6-no-2.cnf
aim-100-1_6-no-3.cnf
aim-100-1_6-no-4.cnf
aim-100-1_6-yes1-1.cnf
aim-100-1_6-yes1-2.cnf
aim-100-1_6-yes1-3.cnf
aim-100-1_6-yes1-4.cnf
aim-100-2_0-no-1.cnf
aim-100-2_0-no-2.cnf
aim-100-2_0-no-3.cnf
aim-100-2_0-no-4.cnf
aim-100-2_0-yes1-1.cnf
aim-100-2_0-yes1-2.cnf
aim-100-2_0-yes1-3.cnf
aim-100-2_0-yes1-4.cnf
aim-100-3_4-yes1-1.cnf
aim-100-3_4-yes1-2.cnf
aim-100-3_4-yes1-3.cnf
aim-100-3_4-yes1-4.cnf
aim-100-6_0-yes1-1.cnf
aim-100-6_0-yes1-2.cnf
aim-100-6_0-yes1-3.cnf
aim-100-6_0-yes1-4.cnf
aim-200-1_6-no-1.cnf
aim-200-1_6-no-2.cnf
aim-200-1_6-no-3.cnf
aim-200-1_6-no-4.cnf
aim-200-1_6-yes1-1.cnf
aim-200-1_6-yes1-2.cnf
aim-200-1_6-yes1-3.cnf
aim-200-1_6-yes1-4.cnf
aim-200-2_0-no-1.cnf
aim-200-2_0-no-2.cnf
aim-200-2_0-no-3.cnf
aim-200-2_0-no-4.cnf
aim-200-2_0-yes1-1.cnf
aim-200-2_0-yes1-2.cnf
aim-200-2_0-yes1-3.cnf
aim-200-2_0-yes1-4.cnf
aim-200-3_4-yes1-1.cnf
aim-200-3_4-yes1-2.cnf
aim-200-3_4-yes1-3.cnf
aim-200-3_4-yes1-4.cnf
aim-200-6_0-yes1-1.cnf
aim-200-6_0-yes1-2.cnf
aim-200-6_0-yes1-3.cnf
aim-200-6_0-yes1-4.cnf
aim-50-1_6-no-1.cnf
aim-50-1_6-no-2.cnf
aim-50-1_6-no-3.cnf
aim-50-1_6-no-4.cnf
aim-50-1_6-yes1-1.cnf
aim-50-1_6-yes1-2.cnf
aim-50-1_6-yes1-3.cnf
aim-50-1_6-yes1-4.cnf
aim-50-2_0-no-1.cnf
aim-50-2_0-no-2.cnf
aim-50-2_0-no-3.cnf
aim-50-2_0-no-4.cnf
aim-50-2_0-yes1-1.cnf
aim-50-2_0-yes1-2.cnf
aim-50-2_0-yes1-3.cnf
aim-50-2_0-yes1-4.cnf
aim-50-3_4-yes1-1.cnf
aim-50-3_4-yes1-2.cnf
aim-50-3_4-yes1-3.cnf
aim-50-3_4-yes1-4.cnf
aim-50-6_0-yes1-1.cnf
aim-50-6_0-yes1-2.cnf
aim-50-6_0-yes1-3.cnf
aim-50-6_0-yes1-4.cnf