2 Commits

Author	SHA1	Message	Date
Jip J. Dekker	ab37aa3c5b	Adds solve statements to the snippets	2015-11-24 17:43:43 +01:00
Jip J. Dekker	0e445f4402	Adds some basic snippets to mzn grammar	2015-11-24 17:36:01 +01:00