[pyschlandals] example with copy

aia-uclouvain · Jun 24, 2024 · 84ae108 · 84ae108
1 parent 1d41465
commit 84ae108
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/pyschlandals/example/simple.py b/pyschlandals/example/simple.py
@@ -17,6 +17,10 @@
 problem.add_clause([15, -14, -9])
 problem.add_clause([16, -13, -8])
 problem.add_clause([16, -14, -10])
-problem.add_clause([-15])
 
+p2 = problem.copy()
+
+problem.add_clause([-15])
+p2.add_clause([-16])
 print(problem.solve())
+print(p2.solve())