generate 100 4-predicate-8and sats

3sat.py

@@ -92,10 +92,14 @@ def classical_3sat(func):
 
 
 def main():
-    gen_3sat = SAT(predicates=4)
-    gen_3sat.generate(ands=1)
-    gen_3sat.show()
-    pprint(classical_3sat(gen_3sat))
+    rv = []
+    for _ in range(100):
+        gen_3sat = SAT(predicates=4)
+        gen_3sat.generate(ands=8)
+        # gen_3sat.show()
+        sols = classical_3sat(gen_3sat)
+        rv.append(len(sols))
+    print(sorted(rv))
 
 
 if __name__ == "__main__":