Patrick Lühne 9ffd987e10 Add specification for example 0		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-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