Commit Graph

21 Commits

Author SHA1 Message Date
Denys Duchier
0eb760e68f doc for kept vars 2011-12-03 23:35:44 +01:00
Denys Duchier
8aa813d342 initial support for 'keep' 2011-12-03 23:31:28 +01:00
Denys Duchier
696e0e91e7 Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-12-03 22:05:22 +01:00
Denys Duchier
9a78735aaf added support for search options 2011-12-03 22:04:04 +01:00
Vítor Santos Costa
514189e097 gecode compatibility. 2011-12-02 23:09:25 +00:00
Denys Duchier
9ebcae23ea add -framework gecode if necessary 2011-12-02 14:30:55 +01:00
Denys Duchier
7c78f52a89 support search options, added 'restart' 2011-12-01 22:48:28 +01:00
Denys Duchier
d9ce468a03 move to a leaner install procedure 2011-12-01 21:54:39 +01:00
Vitor Santos Costa
9cfd4d8d8b move package/PLStream to os
modify Makefiles accordingly
define __unix__ on Unix like clones (OSX, AIX, etc).
2011-09-04 19:42:33 +02:00
Denys Duchier
0e49f6cf3b doc should say to load gecode as a library module 2011-09-02 20:00:55 +02:00
Denys Duchier
33f1566a81 import gecode as a library 2011-09-02 14:23:35 +02:00
Denys Duchier
da437bb6a9 don't leave pickles in source directory 2011-08-30 15:58:49 +02:00
Denys Duchier
6bb5476411 added extracted files for gecode 3.7.0 2011-08-30 15:44:22 +02:00
Denys Duchier
fcb70fe502 parenthesize conditionals 2011-08-25 12:47:13 +02:00
Denys Duchier
4c4f3b624d add pid to temp filename so that make -j works 2011-08-12 16:33:57 +02:00
Denys Duchier
d70e53f243 support for ranges and values of intvars 2011-08-09 16:57:33 +02:00
Denys Duchier
76dd2511a8 finish and test support for dynamic arrays 2011-08-09 16:30:59 +02:00
Denys Duchier
31063fdc85 Merge branch 'master' of /home/denys/src/yap/yap-6.3 2011-08-09 15:03:54 +02:00
Denys Duchier
292f89360b add support for compilers without dynamic arrays 2011-08-09 15:03:45 +02:00
Vitor Santos Costa
8096f22b21 fix Makefile to use -I. 2011-08-09 08:34:50 -03:00
Denys Duchier
d4d4dbaddf added support for gecode library 2011-08-08 15:21:36 +02:00