Tiago Gomes
|
a1d0deb638
|
support model counting on atom couting nodes - still untested
|
2012-11-01 22:34:28 +00:00 |
|
Tiago Gomes
|
bfa9648067
|
clean up
|
2012-10-31 23:58:07 +00:00 |
|
Tiago Gomes
|
6877be897e
|
first stab for atom counting
|
2012-10-31 23:43:39 +00:00 |
|
Tiago Gomes
|
8b77b93a3b
|
add support for inclusion-exclusion
|
2012-10-30 00:21:10 +00:00 |
|
Tiago Gomes
|
324ea1a96c
|
make independent partial ground suck less
|
2012-10-29 20:49:21 +00:00 |
|
Tiago Gomes
|
d074ca9a8f
|
add initial independent partial grounding support
|
2012-10-27 00:13:11 +01:00 |
|
Tiago Gomes
|
68ef63207f
|
initial support for weighted model countign
|
2012-10-25 12:22:52 +01:00 |
|
Tiago Gomes
|
eac6b954a8
|
add inital smoothing of the circuit
|
2012-10-24 21:22:49 +01:00 |
|
Tiago Gomes
|
a8926fe38b
|
inital code for lifted knowledge compilation
|
2012-10-22 23:01:13 +01:00 |
|