2 Commits

Author	SHA1	Message	Date
Patrick Lühne	a406cb43bd	Update graph coloring example with placeholders ... This replaces the former graph coloring example with a new formulation that makes use of the newly supported placeholders.	2018-04-08 20:28:57 +02:00
Patrick Lühne	ecdefa9221	Added graph coloring example.	2017-06-12 02:53:02 +02:00