anthem-rs/examples
Patrick Lühne a81da75306
Add graph coloring example
2020-06-12 23:03:58 +02:00
..
coloring-1.lp Add graph coloring example 2020-06-12 23:03:58 +02:00
coloring.spec Add graph coloring example 2020-06-12 23:03:58 +02:00
example-0.lp Add examples 2020-05-06 21:39:04 +02:00
example-0.spec Rename “assert” statement to “spec” 2020-05-22 18:34:59 +02:00
example-1.lp Add examples 2020-05-06 21:39:04 +02:00
example-1.spec Rename “assert” statement to “spec” 2020-05-22 18:34:59 +02:00
example-2.lemmas Add final lemmas as used in the paper 2020-06-06 06:50:28 +02:00
example-2.lp Add examples 2020-05-06 21:39:04 +02:00
example-2.spec Split lemmas from specifications 2020-05-29 19:00:36 +02:00
example-exact-cover.lp Format exact cover example like in paper 2020-06-05 18:54:17 +02:00
example-exact-cover.spec Format exact cover example like in paper 2020-06-05 18:54:17 +02:00
example-prime.lemmas Split lemmas from specifications 2020-05-29 19:00:36 +02:00
example-prime.lp Add prime number example 2020-05-19 12:57:09 +02:00
example-prime.spec Split lemmas from specifications 2020-05-29 19:00:36 +02:00