From c1899a634793b3f506c05b09f116672c2860b174 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Mon, 12 Jun 2017 02:27:57 +0200
Subject: [PATCH] Added Schur numbers example.

---
 examples/schur-numbers.lp | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 examples/schur-numbers.lp

diff --git a/examples/schur-numbers.lp b/examples/schur-numbers.lp
new file mode 100644
index 0000000..eed2755
--- /dev/null
+++ b/examples/schur-numbers.lp
@@ -0,0 +1,5 @@
+{in(1..n, 1..r)}.
+covered(I) :- in(I, S).
+
+:- I = 1..n, not covered(I).
+:- in(I, S), in(J, S), in(I + J, S).