4 Commits

Author	SHA1	Message	Date
Jip J. Dekker	55993efe15	Removes tab for the forall snippet	2015-12-03 12:21:28 +01:00
Jip J. Dekker	6e487e7ea2	Removes newlines from the snippets	2015-12-02 18:57:13 +01:00
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