Boolean satisfiability problem

Options

Sample problems

• aim-100-1_6-no-1.cnf
• aim-50-1_6-yes1-4.cnf
• bf0432-007.cnf
• dubois20.cnf
• dubois21.cnf
• dubois22.cnf
• hole6.cnf
• par8-1-c.cnf
• quinn.cnf
• simple_v3_c2.cnf
• zebra_v155_c1135.cnf