3 Commits

Author	SHA1	Message	Date
Laurent Perron	dab95aa0a3	fix flatzinc to follow the latest minizinc naming scheme for constraints	2020-09-29 11:53:15 +02:00
lperron@google.com	4cd23fbdfc	commit plenty of fzn examples	2012-09-03 18:26:36 +00:00
lperron@google.com	e0170fc18d	more simplifications	2012-07-05 14:22:07 +00:00