Tiago Gomes
|
d03ea1509e
|
Trivial
|
2012-12-17 11:56:15 +00:00 |
|
Tiago Gomes
|
e35cf51476
|
Reorders and some reindentation
|
2012-12-17 11:53:57 +00:00 |
|
Tiago Gomes
|
9ff9be2f49
|
Don't pass around the Solver for EM
|
2012-12-15 16:11:03 +00:00 |
|
Tiago Gomes
|
81ac6f1913
|
Don't pass around the Solver in run_horus_ground_solver
|
2012-12-15 15:56:05 +00:00 |
|
Tiago Gomes
|
ea931f2f93
|
Comment
|
2012-12-15 00:41:00 +00:00 |
|
Vítor Santos Costa
|
45b6263f85
|
have a separator cell not to confuse the gc.
|
2012-12-15 00:40:11 +00:00 |
|
Tiago Gomes
|
55292ab745
|
Clean ups and don't forget cbp
|
2012-12-15 00:29:03 +00:00 |
|
Vitor Santos Costa
|
6e94d6b37e
|
remove debugging support
|
2012-12-15 00:16:59 +00:00 |
|
Tiago Gomes
|
1174486576
|
VE???
|
2012-12-15 00:16:06 +00:00 |
|
Tiago Gomes
|
2996a0b8b3
|
Comment does not apply
|
2012-12-15 00:14:45 +00:00 |
|
Tiago Gomes
|
e5479ff17c
|
CLPBNs first, PFLs next
|
2012-12-15 00:13:53 +00:00 |
|
Vítor Santos Costa
|
7811a697b8
|
fix swi falgs and set_prolog_flag/2.
|
2012-12-14 23:31:13 +00:00 |
|
Vítor Santos Costa
|
4d35c1f70a
|
fix call to undefined halt/1.
|
2012-12-14 23:30:48 +00:00 |
|
Vítor Santos Costa
|
7c0c795518
|
fix compilation of prism+odbc.
|
2012-12-14 23:29:07 +00:00 |
|
Vitor Santos Costa
|
f329b5f06b
|
fix compilation without threads
|
2012-12-14 22:54:00 +00:00 |
|
Vitor Santos Costa
|
e648d197a8
|
fix worker_id assignment in threads
|
2012-12-14 19:58:07 +00:00 |
|
Vitor Santos Costa
|
a1db3dba0b
|
document load_db
|
2012-12-14 19:38:09 +00:00 |
|
Vitor Santos Costa
|
2e6360738c
|
itry to use size_t
fix overflow handling bugs.
|
2012-12-14 19:35:26 +00:00 |
|
Tiago Gomes
|
6c95c50eb4
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-12-14 14:05:22 +00:00 |
|
Vitor Santos Costa
|
84b0529060
|
improve prism compatibility (fix asia).
|
2012-12-14 08:26:56 +00:00 |
|
Tiago Gomes
|
971b8b7487
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-12-13 23:48:16 +00:00 |
|
Vitor Santos Costa
|
524edecdd3
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2012-12-13 23:08:00 +00:00 |
|
Tiago Gomes
|
d7ebdf1289
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-12-13 19:24:13 +00:00 |
|
Tiago Gomes
|
eea7ce2885
|
Fix file names
|
2012-12-13 19:02:04 +00:00 |
|
Vitor Santos Costa
|
9107af2e3d
|
improve thread startup
|
2012-12-13 18:12:50 +00:00 |
|
Tiago Gomes
|
0594d43539
|
Cosmetic fixes
|
2012-12-13 17:51:43 +00:00 |
|
Tiago Gomes
|
05e53eaf37
|
Merge sch32 and school32_data and rename to school_32
|
2012-12-13 17:08:54 +00:00 |
|
Tiago Gomes
|
6b8301d9c4
|
CLP(BN) is dead. Long live the PFL
|
2012-12-13 17:04:14 +00:00 |
|
Tiago Gomes
|
d78baa48a1
|
Don't special case the tables in city.pfl
Its hard to make them work in lifted networks
:
|
2012-12-13 16:50:39 +00:00 |
|
Vitor Santos Costa
|
c4448d066a
|
allow backtracking over possible values of constraints.a
|
2012-12-13 15:53:01 +00:00 |
|
Tiago Gomes
|
8b996c5dc9
|
Lkc: show that we exported the circuit to graphviz when debugging
|
2012-12-13 14:21:16 +00:00 |
|
Tiago Gomes
|
48413deae7
|
Ops: deleted this by accident in the previous commit
|
2012-12-13 14:08:16 +00:00 |
|
Tiago Gomes
|
dd8a92aaf3
|
Merge with upstream code
|
2012-12-13 12:55:55 +00:00 |
|
Tiago Gomes
|
11e688ffd7
|
Lkc: use utility function
|
2012-12-12 21:19:22 +00:00 |
|
Tiago Gomes
|
f2173d001e
|
Lkc: fix bug when adding weights
|
2012-12-12 21:16:36 +00:00 |
|
Tiago Gomes
|
c7588c9361
|
Trivial
|
2012-12-12 17:03:11 +00:00 |
|
Tiago Gomes
|
4683d30d8e
|
Trivial
|
2012-12-12 17:01:30 +00:00 |
|
Tiago Gomes
|
39bf95fe2b
|
trivial
|
2012-12-12 16:28:18 +00:00 |
|
Tiago Gomes
|
8eb657aec2
|
Change extension of school parschema to pfl
|
2012-12-12 16:00:21 +00:00 |
|
Tiago Gomes
|
0f46c97481
|
Trivial
|
2012-12-12 15:47:09 +00:00 |
|
Tiago Gomes
|
e66ff6777c
|
Be consistent: constraint is always on top
|
2012-12-12 15:41:41 +00:00 |
|
Tiago Gomes
|
66cd58655b
|
Place the debug_school predicate into a different file
|
2012-12-12 15:36:38 +00:00 |
|
Tiago Gomes
|
01dfc5e2be
|
Change extension of school_params
school_params does not define any pfl network, so it shouldn't have pfl as the extension
|
2012-12-12 15:26:49 +00:00 |
|
Tiago Gomes
|
108e310a0f
|
Rework the learning examples
|
2012-12-12 15:16:30 +00:00 |
|
Tiago Gomes
|
f128b6de7a
|
school_32 should use clp(bn)
|
2012-12-12 00:27:32 +00:00 |
|
Tiago Gomes
|
27a235f65b
|
Remove text explaning pfl.
The text is badly written and explanaing pfl shouldn't be in *.pfl files, but rather in paper or README file
|
2012-12-11 23:36:10 +00:00 |
|
Tiago Gomes
|
4310e42562
|
rework examples
|
2012-12-11 23:06:09 +00:00 |
|
Vitor Santos Costa
|
547ba48f9f
|
fix CUT_C=1 not being exported to sub-makefiles.
|
2012-12-11 23:02:05 +00:00 |
|
Vitor Santos Costa
|
eb63cf748c
|
small sequential fixes
|
2012-12-11 22:15:02 +00:00 |
|
Vitor Santos Costa
|
63a5daa295
|
read only flag to emulate debug_on_exception SWI flag.
|
2012-12-11 22:07:44 +00:00 |
|