5 Commits

Author	SHA1	Message	Date
Denys Duchier	347b28f69d	removed -q option because of new g++	2012-04-16 21:59:11 +02:00
Denys Duchier	05bd59a2fb	better error messages. regenerated for all versions of gecode	2012-03-22 20:49:24 +01:00
Denys Duchier	8b16734e1c	fix for setvars. also slightly better errors in generated code.	2012-03-22 16:10:59 +01:00
Denys Duchier	48cb3d6543	added support for gecode 3.7.2	2012-03-22 15:10:19 +01:00
Denys Duchier	d9ce468a03	move to a leaner install procedure	2011-12-01 21:54:39 +01:00