Vitor Santos Costa
|
66eb2d71b5
|
improve search for cudd.
|
2012-01-09 23:26:16 +00:00 |
|
Vitor Santos Costa
|
dcbf8b0522
|
fix configure to handle or-parallelism correctly and to remove random from clib.
|
2011-12-07 09:04:46 -08:00 |
|
Denys Duchier
|
d75cf3118a
|
fix GECODE_EXTRALIBS assignment
|
2011-12-04 16:40:43 +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
|
d9ce468a03
|
move to a leaner install procedure
|
2011-12-01 21:54:39 +01:00 |
|
Ricardo Rocha
|
7aa77faf2a
|
fix compilation for or-parallelism
|
2011-11-30 15:19:37 +00:00 |
|
Vítor Santos Costa
|
244cb3d17c
|
compile prism.
|
2011-11-18 17:02:09 +00:00 |
|
U-WIN7\Vitor
|
a2917e4e9e
|
support R in WIN32.
|
2011-11-15 04:37:21 -08:00 |
|
Vítor Santos Costa
|
c469b0061a
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-11-15 10:24:13 +00:00 |
|
Vítor Santos Costa
|
d2f6683538
|
more aggressive defaults (tabling and memory allocation from system on).
|
2011-11-15 10:23:41 +00:00 |
|
Vitor Santos Costa
|
71bedb75f2
|
fix configuration script to better recognsie R.
|
2011-11-15 10:22:03 +00:00 |
|
Vítor Santos Costa
|
3ac8e3914f
|
improve C-interface to cope with prism.
|
2011-11-10 12:26:23 +00:00 |
|
Vítor Santos Costa
|
3dbae0cb94
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-11-04 02:48:28 +00:00 |
|
Vítor Santos Costa
|
2ee9981a11
|
new Makefiles and prototypes.
|
2011-11-03 07:55:56 +09:00 |
|
Fabrizio Riguzzi
|
be449b3aef
|
updated cplint
|
2011-10-22 16:33:04 +02:00 |
|
Vítor Santos Costa
|
139f64a459
|
fix compilation for OSX
|
2011-10-03 15:29:36 -03:00 |
|
Vítor Santos Costa
|
5e0c4b923d
|
improve support for R
|
2011-10-02 19:54:20 -03:00 |
|
Denys Duchier
|
76dd2511a8
|
finish and test support for dynamic arrays
|
2011-08-09 16:30:59 +02:00 |
|
Vitor Santos Costa
|
0ccba96834
|
fix CXXFLAGS
|
2011-08-09 08:30:37 -03:00 |
|
Vitor Santos Costa
|
0ed341ed83
|
Merge branch 'master' of https://github.com/denys-duchier/yap-6.3
Conflicts:
configure
|
2011-08-09 08:12:43 -03:00 |
|
Denys Duchier
|
d4d4dbaddf
|
added support for gecode library
|
2011-08-08 15:21:36 +02:00 |
|
Vitor Santos Costa
|
a4ff34476b
|
fix buglet.
|
2011-08-08 08:08:53 -03:00 |
|
Vitor Santos Costa
|
a701f08180
|
small fixes.
|
2011-07-22 21:35:18 +01:00 |
|
Ricardo Rocha
|
22d8e33a5f
|
fix cut support for or-parallelism
|
2011-07-13 17:36:26 +01:00 |
|
Vitor Santos Costa
|
45e5e3b983
|
work if ipackages are missing and some cleanups.
|
2011-07-13 15:31:22 +01:00 |
|
Vitor Santos Costa
|
9eabaa580c
|
support for documentation in packages.
|
2011-06-12 22:26:04 +01:00 |
|
Vítor Santos Costa
|
4de6a9e3ef
|
update configuration options for threads/or-parallelism.
|
2011-04-14 18:49:55 +01:00 |
|
Joao
|
662658986a
|
chnage define ACOW to YAPOR_COW
|
2011-03-30 16:39:09 +01:00 |
|
Joao
|
3e148c3541
|
change define SBA to YAPOR_SBA
|
2011-03-30 15:32:59 +01:00 |
|
Joao
|
810c96416b
|
change define ENV_COPY to YAPOR_COPY
|
2011-03-30 14:35:10 +01:00 |
|
Vítor Santos Costa
|
44f6ce1000
|
first cut at support for J Azevedo and Rui Camacho's YapR.
|
2011-03-23 09:46:27 +00:00 |
|
unknown
|
591119b888
|
fix configure for WIN32.
|
2011-03-21 23:43:06 +00:00 |
|
U-WIN-ENP104VVO3U\Vítor Santos Costa
|
7670ce631b
|
WIN32 patches
|
2011-03-21 17:07:58 +00:00 |
|
Vitor Santos Costa
|
ca952a4eac
|
include R package.
|
2011-03-19 15:29:06 +00:00 |
|
Vítor Santos Costa
|
d96f9c3fe1
|
ZLIB support
|
2011-03-15 18:16:05 +00:00 |
|
Vítor Santos Costa
|
7f44012266
|
upgrade to new version of clib
|
2011-03-10 11:06:13 +00:00 |
|
Vitor Santos Costa
|
5418f55d74
|
fix pl-tai
|
2011-03-09 13:05:03 +00:00 |
|
Vítor Santos Costa
|
da1df3d851
|
more cleanups.
|
2011-03-02 23:19:39 +00:00 |
|
Vítor Santos Costa
|
b868d85ac8
|
make rl not deadlock under SIGINT
|
2011-03-01 12:31:19 +00:00 |
|
Vítor Santos Costa
|
29e46cbab9
|
Experimental code for Tiago Gomes bp solver.
|
2011-02-23 15:31:56 +00:00 |
|
Vitor Santos Costa
|
4a5ba35937
|
assembly fixes
more support for readline, including getting more stuff from read.
|
2011-02-17 00:57:49 +00:00 |
|
ubu32
|
3736a14d9b
|
small fixes
|
2011-02-15 16:41:32 -08:00 |
|
Vitor Santos Costa
|
ef918d8fe4
|
try compiling pl-rl
|
2011-02-15 23:45:47 +00:00 |
|
Vítor Santos Costa
|
02c791fc3d
|
iminor PLStream fixes.
|
2011-02-10 21:45:43 +00:00 |
|
Vítor Santos Costa
|
257575685c
|
add support for package framework.
|
2011-02-10 21:33:56 +00:00 |
|
Vítor Santos Costa
|
f840ee307d
|
Merge branch 'master' of ../yap-6.2
|
2011-02-02 16:15:50 +00:00 |
|
Vitor Santos Costa
|
7c86b244b9
|
patches from Keri Harris
|
2010-12-30 22:14:45 -06:00 |
|
Vítor Santos Costa
|
81ca149be7
|
Merge branch 'master' of ../yap-6.2
|
2010-12-16 22:22:44 +00:00 |
|
Vitor Santos Costa
|
6e2947e8c4
|
avoid _longjmp
|
2010-12-16 01:22:10 +00:00 |
|