Resolve "add horn sat algorithm"

Closes #5 (closed) Closes #4 (closed)

project1/test/main.ml

@@ -40,7 +40,7 @@ let many_tests_horn = fun n ->
 
 let many_tests_xor = fun n ->
   for _ = 1 to n do
-    create_file 20 300;
+    create_file 5 20;
     let _ = Unix.system "project1 -m horn random.cnf > output1.txt" in
     convert_xorsat "random.cnf";
     let _ = Unix.system "minisat -verb=0 conversion.cnf output2.txt > /dev/null" in