pasp.exact
Exact inference functions from the C side.
def
exact(unknown):
Runs exact inference in order to answer the queries in P.
def
count(unknown):
Counts the number of models for each possible learnable fact or annotated disjunction.