Tiago Gomes
|
0ed89d3eeb
|
add flag to lifted knowledge compilation and s/fove/lve
|
2012-11-08 15:05:48 +00:00 |
|
Vítor Santos Costa
|
83c5c7e7af
|
more PFL support.
|
2012-09-26 00:04:58 +01:00 |
|
Vítor Santos Costa
|
83418f8f27
|
bdd and pfl integration work (partial patch).
|
2012-09-24 14:36:30 +01:00 |
|
Vítor Santos Costa
|
309dfaa813
|
aggregates in PFL: exa,ple
|
2012-09-23 13:24:49 +01:00 |
|
Costa Vitor
|
f4e965c02f
|
more small fixes.
|
2012-08-29 16:36:46 -05:00 |
|
Costa Vitor
|
62ab5b3dcb
|
new ve
|
2012-08-28 20:21:14 -05:00 |
|
Costa Vitor
|
a76f4f34d5
|
make EM work with PFL and BP.
|
2012-08-15 16:01:45 -05:00 |
|
Vitor Santos Costa
|
71a62307f4
|
CLP(BN) stuff.
|
2012-06-01 13:17:39 +01:00 |
|
Vitor Santos Costa
|
f24bf2e2cd
|
full school
|
2012-04-23 07:13:58 -05:00 |
|
Vítor Santos Costa
|
c5f42cd7eb
|
more pfl changes.
|
2012-04-12 17:24:39 +01:00 |
|
Vítor Santos Costa
|
44cb6abcb6
|
PFL support.
|
2012-04-03 15:01:35 +01:00 |
|
Vítor Santos Costa
|
0a9076bf4a
|
bdd
|
2012-03-28 10:59:26 +01:00 |
|
Vítor Santos Costa
|
f5f13541c6
|
old new syntax
|
2012-03-22 22:23:20 +00:00 |
|
Vítor Santos Costa
|
4c1602b74b
|
old syntax example.
|
2012-03-22 22:22:16 +00:00 |
|
Vítor Santos Costa
|
a338b95d3f
|
add more support for FOVE.
|
2012-03-22 19:10:15 +00:00 |
|
Vítor Santos Costa
|
a25c97c295
|
fove initial skeleton.w
|
2012-01-10 17:01:06 +00:00 |
|
Vítor Santos Costa
|
63d8536711
|
move examples upwards.
|
2011-05-01 22:49:34 +01:00 |
|