Patrick Lühne ecdefa9221 Added graph coloring example.		2017-06-12 02:53:02 +02:00
..
graph-coloring.lp	Added graph coloring example.	2017-06-12 02:53:02 +02:00
schur-numbers.lp	Added Schur numbers example.	2017-06-12 02:27:57 +02:00