1 files changed, 36 insertions, 0 deletions
diff --git a/ordemo/two_sum.py b/ordemo/two_sum.py
new file mode 100644
index 0000000..5652998
--- /dev/null
+++ b/ordemo/two_sum.py
@@ -0,0 +1,36 @@
+from ortools.sat.python import cp_model
+
+
+class VarArraySolutionPrinter(cp_model.CpSolverSolutionCallback):
+    """Print intermediate solutions."""
+
+    def __init__(self, variables):
+        cp_model.CpSolverSolutionCallback.__init__(self)
+        self.__variables = variables
+        self.__solution_count = 0
+
+    def on_solution_callback(self):
+        self.__solution_count += 1
+        for v in self.__variables:
+            print('%s=%i' % (v, self.Value(v)), end=' ')
+        print()
+
+    def solution_count(self):
+        return self.__solution_count
+
+
+l = [2, 7, 1, 3, 6, 9, 10, -1, 12, 22]
+target = 9
+
+model = cp_model.CpModel()
+
+xs = [model.NewBoolVar(str(i)) for i in range(len(l))]
+
+model.Add(sum(xs) == 2)
+
+model.Add(sum([xs[i]*l[i] for i in range(len(l))]) == target)
+solver = cp_model.CpSolver()
+solution_printer = VarArraySolutionPrinter(xs)
+solver.parameters.enumerate_all_solutions = True
+solver.Solve(model, solution_printer)
+