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
d6cc60fcf6 another example 2012-06-16 07:30:29 +00:00