This website requires JavaScript.
Explore
Help
Sign In
patrick
/
anthem
Watch
1
Star
0
Fork
0
You've already forked anthem
Code
Issues
15
Releases
21
Activity
240
Commits
2
Branches
21
Tags
2.8
MiB
d7641aa410
Commit Graph
4 Commits
Author
SHA1
Message
Date
Patrick Lühne
d7641aa410
Added example with nested predicate arguments.
2017-06-12 03:05:21 +02:00
Patrick Lühne
eb730b9f8b
Added example for attempting to hide a circular predicate dependency.
2017-06-12 03:01:30 +02:00
Patrick Lühne
ecdefa9221
Added graph coloring example.
2017-06-12 02:53:02 +02:00
Patrick Lühne
c1899a6347
Added Schur numbers example.
2017-06-12 02:27:57 +02:00