Patrick Lühne 222f8b535e

Add specification for example 1

2020-05-12 04:51:52 +02:00

..

exact-cover.lp

Add exact cover problem example

2020-05-07 02:54:13 +02:00

exact-cover.spec

Add exact cover problem example

2020-05-07 02:54:13 +02:00

example-0.lp

Add examples

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

example-0.spec

Add specification for example 0

2020-05-12 04:51:52 +02:00

example-1.lp

Add examples

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

example-1.spec

Add specification for example 1

2020-05-12 04:51:52 +02:00

example-2.lp

Add examples

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

example-2.spec

Minor formatting

2020-05-11 04:15:05 +02:00