3 Commits

Author	SHA1	Message	Date
Will Dietz	5adde64416	minizincide: minor touchups per reviewer suggestion ... (sourceRoot needed a "source/" prefix, FWIW)	2019-01-05 13:35:10 -06:00
Will Dietz	3d5ee86488	minizincide: https, touchup, don't volunteer others to maintain haha :P	2018-12-02 12:14:43 -06:00
Will Dietz	0e4c444cfe	minizincide: init at 2.2.3 ... * wrap so minizinc on PATH (to ensure it's avail/found)	2018-12-01 13:44:06 -06:00