2 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
Laurent Perron
90ec506c80 segfaulting flatzinc example 2016-07-25 12:27:34 -07:00