Vítor Santos Costa
|
05d3266671
|
fix lib64 issues
|
2012-08-22 10:07:33 -05:00 |
|
Costa Vitor
|
a76f4f34d5
|
make EM work with PFL and BP.
|
2012-08-15 16:01:45 -05:00 |
|
Vítor Santos Costa
|
7e8cac9fb1
|
a step forward.
|
2012-08-13 09:23:36 -05:00 |
|
Costa Vitor
|
4756948967
|
fix processing of pfl ground networks.
|
2012-08-08 22:16:37 -05:00 |
|
Costa Vitor
|
652073caa4
|
Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-08-08 11:17:50 -05:00 |
|
Vitor Santos Costa
|
ad609e39da
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2012-08-08 04:00:06 +01:00 |
|
Vitor Santos Costa
|
d5ed379068
|
recognise weird trie.
|
2012-08-08 03:59:37 +01:00 |
|
Vitor Santos Costa
|
15bcaf97fc
|
speedup.
|
2012-08-08 03:59:06 +01:00 |
|
Vítor Santos Costa
|
2b2cedc2b6
|
remove some comments and improve em interface.
|
2012-08-07 21:53:10 -05:00 |
|
Vítor Santos Costa
|
c159894c29
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2012-08-07 18:37:02 -05:00 |
|
Costa Vitor
|
98f68edd34
|
PFL files should have the PFL suffiv
|
2012-08-07 18:35:44 -05:00 |
|
Costa Vitor
|
e2fa3a3b8a
|
fix call to ground solvers, both using clpbn style and horus style.
|
2012-08-07 18:33:51 -05:00 |
|
Vítor Santos Costa
|
a4ae6acbb6
|
check for Rinterface.h
|
2012-08-02 19:53:43 -05:00 |
|
Vitor Santos Costa
|
7458d8ee74
|
update to newer releases.
|
2012-08-01 19:48:29 +01:00 |
|
Costa Vitor
|
8ba1de7250
|
fixes for external CUDD compatibility.
|
2012-07-16 11:58:21 -05:00 |
|
Vitor Santos Costa
|
d78a55ca83
|
fix cudd support.
|
2012-07-08 07:45:16 -05:00 |
|
Vítor Santos Costa
|
bc8c9a423a
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
Conflicts:
packages/jpl
|
2012-07-07 09:54:27 -05:00 |
|
Vítor Santos Costa
|
1e1d49e112
|
allow installing examples by defult.
|
2012-07-07 09:43:07 -05:00 |
|
Vítor Santos Costa
|
d9decfe003
|
fix example path in meld.
|
2012-07-06 18:58:35 -05:00 |
|
Vítor Santos Costa
|
8a22258fdf
|
use standard paths for installing examples.
|
2012-07-06 18:56:05 -05:00 |
|
Vitor Santos Costa
|
c67edd877a
|
learning is debugging
|
2012-07-03 19:48:13 +01:00 |
|
Vitor Santos Costa
|
b4b1e68c35
|
Merge branch 'master' of https://github.com/tacgomes/yap6.3
|
2012-07-03 16:03:27 +01:00 |
|
Tiago Gomes
|
4af5a90b8b
|
re-enable all elimination heuristics
|
2012-07-02 22:53:44 +01:00 |
|
Vitor Santos Costa
|
79b4c6cb25
|
new version.
|
2012-07-02 20:04:02 +01:00 |
|
Denys Duchier
|
97163fa150
|
place INLINE_ONLY at front of extern inline declarations AND definitions. gcc and clang then behave the same.
|
2012-06-30 20:42:14 +02:00 |
|
Tiago Gomes
|
7a3d39551b
|
improve the way we compute hashs for counting bp
|
2012-06-30 19:25:29 +01:00 |
|
Vítor Santos Costa
|
70bde4d38f
|
inline extern patch by Denys Duchier
|
2012-06-29 22:44:08 +01:00 |
|
Vítor Santos Costa
|
20b60649e5
|
new updates to jpl.
|
2012-06-29 22:42:08 +01:00 |
|
Vítor Santos Costa
|
e938c17748
|
fix clang compilation (Denys Duchier).
|
2012-06-29 22:24:12 +01:00 |
|
Tiago Gomes
|
5e2d9acc4f
|
update comment
|
2012-06-26 19:44:27 +01:00 |
|
Vitor Santos Costa
|
fe2f99e49d
|
update package version.
|
2012-06-22 19:00:45 +01:00 |
|
Vitor Santos Costa
|
87e0b67e76
|
start with pfl learning.
|
2012-06-22 19:00:12 +01:00 |
|
Vitor Santos Costa
|
5fe052a3ef
|
Merge branch 'master' of https://github.com/tacgomes/yap6.3
|
2012-06-22 14:51:58 +01:00 |
|
Tiago Gomes
|
3e56cf5e42
|
update burglary-alarm
|
2012-06-19 21:19:02 +01:00 |
|
Tiago Gomes
|
25e87a5ddc
|
whitespace fixes
|
2012-06-19 15:30:55 +01:00 |
|
Tiago Gomes
|
57edd6adb9
|
minor improvements
|
2012-06-19 15:29:09 +01:00 |
|
Tiago Gomes
|
ee5b8e693a
|
re-activate bayes ball
|
2012-06-19 15:10:57 +01:00 |
|
Tiago Gomes
|
9a8464d0f0
|
some renamings
|
2012-06-19 14:32:12 +01:00 |
|
Tiago Gomes
|
942bc8041e
|
update burglary-alarm
|
2012-06-18 23:10:18 +01:00 |
|
Tiago Gomes
|
63739c6e31
|
minor updates
|
2012-06-18 23:08:37 +01:00 |
|
Tiago Gomes
|
b16b0b6a3f
|
add a README file
|
2012-06-18 21:38:40 +01:00 |
|
Tiago Gomes
|
b4d2e7af20
|
remove unecessary call
|
2012-06-18 14:40:44 +01:00 |
|
Tiago Gomes
|
05b3daf5bb
|
trivial fix
|
2012-06-14 12:19:51 +01:00 |
|
Tiago Gomes
|
384c108e62
|
fix joint calculation with lifted bp
|
2012-06-14 11:57:00 +01:00 |
|
Tiago Gomes
|
0e83a75b60
|
improve calculation of joint dist in counting bp
|
2012-06-13 12:47:41 +01:00 |
|
Tiago Gomes
|
b43e3316b3
|
forgot destructor
|
2012-06-13 12:17:49 +01:00 |
|
Tiago Gomes
|
89725dffbb
|
rename some enums
|
2012-06-12 21:27:17 +01:00 |
|
Tiago Gomes
|
af11dbb445
|
reorder entries in the Makefile and drop some objects not required to build hcli
|
2012-06-12 16:55:32 +01:00 |
|
Tiago Gomes
|
d4f63b3942
|
drop Solver suffix and rename some files and classes
|
2012-06-12 16:29:57 +01:00 |
|
Vitor Santos Costa
|
f6de18cb09
|
6.2 fix to load_foreign atom.
|
2012-06-11 22:11:30 +01:00 |
|