added optimization example

potassco · Oct 7, 2016 · 9983979 · 9983979
1 parent 04aec9f
commit 9983979
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,5 +1,5 @@
 Clingcon extends the possibilities of Clingo by (mostly linear) constraints over Integers.
-For the syntax of constraint logic programs please see the examples/ folder.
+For the syntax of constraint logic programs please see the examples folder.
 Use the theory language description file csp.lp to enable constraint parsing.
 Call clingcon --help=2 for further options on constraint processing.
 Please consult the following resources for further information:

diff --git a/examples/optimize.lp b/examples/optimize.lp
@@ -0,0 +1,8 @@
+#include "../csp.lp".
+
+&sum {a; b; c} = 113.
+
+vars(a;b;c).
+&show {X : vars(X)}.
+&dom {1..100} = X :- vars(X).
+&minimize{1*c;100*a}.