Ricardo Rocha
|
a6ff7528d1
|
missing variable declaration
|
2012-04-23 15:39:49 +01:00 |
|
Vitor Santos Costa
|
f24bf2e2cd
|
full school
|
2012-04-23 07:13:58 -05:00 |
|
Vitor Santos Costa
|
32a905bc8b
|
ddnnf support
|
2012-04-23 07:13:25 -05:00 |
|
Vitor Santos Costa
|
040c1c7fa7
|
more ddnnf stuff
|
2012-04-23 07:13:01 -05:00 |
|
Vítor Santos Costa
|
a9434aed37
|
more gc changes.
|
2012-04-20 23:45:16 +02:00 |
|
Vitor Santos Costa
|
3aee05ae9e
|
Merge branch 'master' of /home/vitor/yap-6.3
|
2012-04-20 16:44:27 -05:00 |
|
Vitor Santos Costa
|
22f702f8e4
|
ddnnfs.
|
2012-04-20 16:43:30 -05:00 |
|
Vitor Santos Costa
|
220f7e6efc
|
support mtbdds.
|
2012-04-20 16:42:59 -05:00 |
|
Vitor Santos Costa
|
178ad27db8
|
better understanding of ddnnf.
|
2012-04-20 07:07:19 -05:00 |
|
Vítor Santos Costa
|
e11d8bbda1
|
fix module generating detection and messages.
|
2012-04-20 12:29:10 +02:00 |
|
Vítor Santos Costa
|
753170bf7c
|
fix synatx error.
|
2012-04-20 12:28:42 +02:00 |
|
Vitor Santos Costa
|
c3da25227f
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2012-04-19 01:01:11 -05:00 |
|
Vitor Santos Costa
|
49b936db67
|
avoid read-only flags.
|
2012-04-19 01:00:29 -05:00 |
|
U-WIN-UA9ACS5GS9N\vitor
|
19807d46f7
|
WIN32 and CYGWIN fixes.
|
2012-04-18 14:14:56 -05:00 |
|
Vítor Santos Costa
|
81be229e22
|
fix SWI error handling.
|
2012-04-18 01:09:23 +02:00 |
|
Vítor Santos Costa
|
fac8af303d
|
fix call to gc.
|
2012-04-18 00:57:43 +02:00 |
|
Vítor Santos Costa
|
b26d266ed6
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2012-04-17 00:22:15 +01:00 |
|
Vítor Santos Costa
|
2cfb744b07
|
fix bad frame pointer.
|
2012-04-17 00:21:08 +01:00 |
|
Vítor Santos Costa
|
a660082b45
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-04-16 23:48:31 +01:00 |
|
Vítor Santos Costa
|
40ce9feb76
|
bdd experiments
|
2012-04-16 23:47:36 +01:00 |
|
Denys Duchier
|
c484053210
|
added a README file for gecode bindings
|
2012-04-16 22:28:35 +02:00 |
|
Denys Duchier
|
638bcfb242
|
added support for gecode 3.7.3
|
2012-04-16 22:14:34 +02:00 |
|
Denys Duchier
|
82ced70a33
|
maybe import customize_compiler from new distutils
|
2012-04-16 22:02:53 +02:00 |
|
Denys Duchier
|
347b28f69d
|
removed -q option because of new g++
|
2012-04-16 21:59:11 +02:00 |
|
Denys Duchier
|
b66b261972
|
Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-04-16 21:51:54 +02:00 |
|
Vítor Santos Costa
|
8894645017
|
fix bug in trail expansion (should recover numbers)
|
2012-04-15 22:40:00 +01:00 |
|
Vítor Santos Costa
|
c385dc13a8
|
fix syntax
|
2012-04-15 00:02:37 +01:00 |
|
Vítor Santos Costa
|
cdd1af567e
|
if commit is called from C-code we can't trust getval not to send exceptions.
|
2012-04-15 00:01:26 +01:00 |
|
Vítor Santos Costa
|
34ccb95dd3
|
fix problem with catching handling.
|
2012-04-15 00:01:02 +01:00 |
|
Vítor Santos Costa
|
683377b520
|
buffer output when exiting absmi.
|
2012-04-12 23:52:25 +01:00 |
|
Vítor Santos Costa
|
af7510a67b
|
fix handling of repeated calls to YAP_Init.
|
2012-04-12 23:25:04 +01:00 |
|
Vítor Santos Costa
|
5a8cc421d2
|
small pfl fixes.
|
2012-04-12 18:11:29 +01:00 |
|
Vítor Santos Costa
|
c5f42cd7eb
|
more pfl changes.
|
2012-04-12 17:24:39 +01:00 |
|
Vítor Santos Costa
|
8c2dd1f847
|
fix bad call for parameters.
|
2012-04-12 17:17:21 +01:00 |
|
Vítor Santos Costa
|
28ce2da3dc
|
Merge branch 'master' of https://github.com/tacgomes/yap6.3
|
2012-04-12 17:07:19 +01:00 |
|
Tiago Gomes
|
9def6c2b15
|
tempary hack to fix cbp and clean in benchs.sh
|
2012-04-12 00:42:55 +01:00 |
|
Tiago Gomes
|
564958ef8d
|
improvements on benchmarkings
|
2012-04-11 23:48:59 +01:00 |
|
Vítor Santos Costa
|
27dc66a5f4
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-04-11 22:09:15 +01:00 |
|
Vítor Santos Costa
|
c08178a57c
|
fix thread compilation.
|
2012-04-11 22:08:02 +01:00 |
|
Tiago Gomes
|
03013960d3
|
refactor the city benchmarks and introduce set_solver/1
|
2012-04-11 19:15:52 +01:00 |
|
Tiago Gomes
|
f2fbbf29d8
|
rework the examples and erase the city network in the old format
|
2012-04-11 15:36:50 +01:00 |
|
Tiago Gomes
|
8697fcd2b4
|
refactorings
|
2012-04-10 20:43:08 +01:00 |
|
Tiago Gomes
|
78e86a6330
|
refactor ground solver interface
|
2012-04-10 15:00:18 +01:00 |
|
Tiago Gomes
|
46e6a10625
|
convert city dataset to new format
|
2012-04-10 12:56:14 +01:00 |
|
Tiago Gomes
|
b52dc99914
|
refactorings
|
2012-04-10 12:53:52 +01:00 |
|
Tiago Gomes
|
aa1b2e40ea
|
some renamings
|
2012-04-10 11:51:56 +01:00 |
|
Tiago Gomes
|
6986e8c0d7
|
Improvements
Factor nodes now contain a factor object instead of a pointer. Refactor the way .fg and .uai formats are readed.
|
2012-04-09 15:40:51 +01:00 |
|
Tiago Gomes
|
f1d52c0389
|
add missing files
|
2012-04-05 23:04:27 +01:00 |
|
Tiago Gomes
|
d1b25f0864
|
renamings and delete bn_bp stuff
|
2012-04-05 23:00:48 +01:00 |
|
Vítor Santos Costa
|
7085008193
|
fix compilation without gmp.
|
2012-04-05 20:50:27 +01:00 |
|