patrick
/
anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Added Schur numbers example.

This commit is contained in:
Patrick Lühne 2017-06-12 02:27:57 +02:00
parent a4cd133ba7
commit c1899a6347
No known key found for this signature in database
GPG Key ID: 05F3611E97A70ABF
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
examples/schur-numbers.lp Normal file
View File

@ -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).