2 Commits

Author	SHA1	Message	Date
Jip J. Dekker	452b19faf2	Add override for mzn-fzn flags	2016-12-06 16:35:47 +01:00
Jip J. Dekker	ac7b103305	Make quick first prototype	2016-12-05 16:35:06 +01:00