svn - Revision 8862: /classes/6.825/proj0/given/data

• ..
• satisfiable1.cnf
• satisfiable2.cnf
• solveable.cnf
• solveable.solution
• test1.cnf
• test2.cnf
• test3.cnf
• test4.cnf
• test5.cnf
• unsatisfiable1.cnf
• unsatisfiable2.cnf