4 Commits

Author	SHA1	Message	Date
Denys Duchier	8aa813d342	initial support for 'keep'	2011-12-03 23:31:28 +01:00
Denys Duchier	9a78735aaf	added support for search options	2011-12-03 22:04:04 +01:00
Denys Duchier	7c78f52a89	support search options, added 'restart'	2011-12-01 22:48:28 +01:00
Denys Duchier	d4d4dbaddf	added support for gecode library	2011-08-08 15:21:36 +02:00