Tiago Gomes
|
01d8f8e178
|
More whitespace cleanups
|
2012-12-20 23:19:10 +00:00 |
|
Tiago Gomes
|
57339760b9
|
Merge LiftedKc and LiftedCircuit in one file
|
2012-12-20 21:11:51 +00:00 |
|
Tiago Gomes
|
b44ed7db39
|
Improve the error messages
|
2012-12-20 18:07:50 +00:00 |
|
Tiago Gomes
|
053fa31bb2
|
Exit is better than abort.
Also use a macro instead of integer to indicate failure.
|
2012-12-20 17:37:59 +00:00 |
|
Tiago Gomes
|
ee1b7dcd21
|
abort when compilation failed
|
2012-11-27 16:54:02 +00:00 |
|
Tiago Gomes
|
4522850cd6
|
one step close to use one solver instatiation to solve several queries
|
2012-11-14 23:13:46 +00:00 |
|
Tiago Gomes
|
64a27847cc
|
Introduce a lifted solver class
|
2012-11-14 21:55:51 +00:00 |
|
Tiago Gomes
|
cad22da9f5
|
fixes & cleanups
|
2012-11-14 21:05:55 +00:00 |
|
Tiago Gomes
|
d9e48e6290
|
log domain calculations fixes for lifted knowledge compilation
|
2012-11-14 18:40:03 +00:00 |
|
Tiago Gomes
|
f5c85ffcc9
|
shatter agains the query in lifted knowledge compilation
|
2012-11-12 15:20:42 +00:00 |
|
Tiago Gomes
|
8ab622e0aa
|
more work to support inference with lifted knowledge compilation
|
2012-11-09 18:42:21 +00:00 |
|
Tiago Gomes
|
6a200760ca
|
initial code to support calling a lifted knowledge compilation solver
|
2012-11-08 21:54:47 +00:00 |
|