Commit Graph

607 Commits

Author SHA1 Message Date
Vítor Santos Costa
6ad2c9b3a9 experimental BDD interface package. 2012-03-22 21:36:44 +00:00
Vítor Santos Costa
a338b95d3f add more support for FOVE. 2012-03-22 19:10:15 +00:00
Vítor Santos Costa
7d4f83ca40 improve examples. 2012-03-22 19:09:31 +00:00
Vítor Santos Costa
172f59cee5 ifix interface to clp(bn) machinery. 2012-03-22 19:08:36 +00:00
Vitor Santos Costa
c85e76f20f new fove version. 2012-03-22 11:40:24 +00:00
Vitor Santos Costa
6191dd210b new version 2012-03-22 11:35:54 +00:00
Vitor Santos Costa
21d317b223 new version of bp 2012-03-22 11:33:24 +00:00
Vitor Santos Costa
6e36498cac new version. 2012-03-22 11:29:46 +00:00
Vítor Santos Costa
8ba0bee7ab updates to packages. 2012-02-17 11:31:55 +00:00
Vítor Santos Costa
48cbed8b20 update to latest release. 2012-02-14 18:58:12 +00:00
Vítor Santos Costa
8c556f21ba include XMLPL package. 2012-02-14 12:41:12 +00:00
Vitor Santos Costa
247aa54046 back to using YAP writer. 2012-02-13 23:07:31 +00:00
Vítor Santos Costa
fc4edc3ad1 update version. 2012-02-13 19:30:00 +00:00
Vítor Santos Costa
70b41fbdb7 iupdate packages. 2012-02-13 11:26:23 +00:00
Vítor Santos Costa
dd762fe664 new versions. 2012-02-13 10:35:05 +00:00
Vítor Santos Costa
32d953809e update packages. 2012-02-13 09:43:50 +00:00
Vítor Santos Costa
64319f622f better SWI support. 2012-02-13 09:41:22 +00:00
Vítor Santos Costa
ea18699602 JPL support patches. 2012-02-12 12:28:37 +00:00
Vítor Santos Costa
73b1a8d6f8 change R configuration. 2012-02-06 11:01:10 +00:00
Vítor Santos Costa
e6fb330f58 fix warnings. 2012-02-03 20:55:35 +00:00
Vítor Santos Costa
ab33cacf7b LAM MPI interface support. 2012-02-02 23:25:31 +00:00
Vítor Santos Costa
4e6cc28cd3 lam support. 2012-02-02 09:58:05 +00:00
Vítor Santos Costa
dddf5bce80 update 2012-02-01 21:01:24 +00:00
Vítor Santos Costa
c4ee7ee0c3 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
Conflicts:
	.gitmodules
	configure
	packages/real
2012-02-01 20:57:42 +00:00
Vítor Santos Costa
4c6164034e real stuff. 2012-02-01 20:50:57 +00:00
Vítor Santos Costa
7a99e4f974 fix openmpi/lam detection under Linux/UBUNTU
fix -I in R interface.
2012-02-01 10:26:04 +00:00
Vítor Santos Costa
d106c08f8c :make sure we get rid of YapR 2012-02-01 08:58:20 +00:00
Vítor Santos Costa
7fc23ea139 update latest r..eal 2012-02-01 08:49:06 +00:00
Vítor Santos Costa
c6a8f68e67 update to recent real. 2012-01-31 15:15:07 +00:00
Vítor Santos Costa
e4bfd98830 use real package shared with swi. 2012-01-31 15:11:39 +00:00
Vítor Santos Costa
ed0d3f6cae Latest ProbLog 2012-01-11 14:44:59 +00:00
Vítor Santos Costa
2e2e2deb91 new version 2012-01-10 18:50:24 +00:00
Vítor Santos Costa
a25c97c295 fove initial skeleton.w 2012-01-10 17:01:06 +00:00
Vitor Santos Costa
3f97a3f24a new version 2012-01-09 23:31:30 +00:00
Vítor Santos Costa
bf12f320fe fix CPT handling in aggregates. 2011-12-27 22:08:21 +00:00
Vítor Santos Costa
8f3eabef1d support parfactors, first step. 2011-12-27 22:07:42 +00:00
Vítor Santos Costa
d01eec1dbe iupdate changes. 2011-12-22 11:43:30 +00:00
Vítor Santos Costa
7df0fd90f5 Changes by Tiago 2011-12-12 15:30:24 +00:00
Vítor Santos Costa
33bf0bc0f5 new release from Tiago 2011-12-12 15:29:51 +00:00
Vítor Santos Costa
03391e3feb New Version From Tiago 2011-12-10 23:12:10 +00:00
Vítor Santos Costa
dbcb6e530c New Version From Tiago 2011-12-10 22:58:43 +00:00
Vítor Santos Costa
1a4e31e7a0 fix MKINDEX call 2011-12-02 23:09:04 +00:00
Vítor Santos Costa
79d1bf5eec Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
Conflicts:
	OPTYap/opt.config.h
	OPTYap/opt.structs.h
2011-11-30 13:24:12 +00:00
Vítor Santos Costa
fec7019a79 fix some warnings
improve thread support.
2011-11-30 13:05:21 +00:00
Vítor Santos Costa
2f6ec5ff59 improve learning for CLP(BN). 2011-11-30 13:04:13 +00:00
Vítor Santos Costa
6c1cf7ea39 update to OSX support. 2011-11-18 22:24:46 +00:00
Vítor Santos Costa
e33712403f fix prism compilation and PRISM overflow handling. 2011-11-18 18:33:22 +00:00
Vítor Santos Costa
ae29efec0c iupdate version. 2011-11-18 16:26:41 +00:00
Vítor Santos Costa
0334632e6e improvements to YapR. 2011-11-17 12:58:22 +00:00
Vitor Santos Costa
fedf37ee35 update yapr 2011-11-15 12:59:00 +00:00