Patrick Lühne 7361084eaf

Rename variable in example for consistency

2020-05-18 01:09:15 +02:00

..

exact-cover.lp

Rename variable in example for consistency

2020-05-18 01:09:15 +02:00

exact-cover.spec

Support hiding auxiliary predicates

2020-05-13 08:02:04 +02:00

example-0.lp

Add examples

2020-05-06 21:39:04 +02:00

example-0.spec

Support hiding auxiliary predicates

2020-05-13 08:02:04 +02:00

example-1.lp

Add examples

2020-05-06 21:39:04 +02:00

example-1.spec

Support hiding auxiliary predicates

2020-05-13 08:02:04 +02:00

example-2.lp

Add examples

2020-05-06 21:39:04 +02:00

example-2.spec

Add comments to example 2

2020-05-12 06:10:59 +02:00