search

friguzzi / cplint

cplint is a suite of programs for reasoning with probabilistic logic programs
Other
68 stars 13 forks source link

bddem.c - make_query_var #23

Closed ebellodi closed 6 years ago

ebellodi commented 6 years ago

make_query_var fixed (for mpe experiments with pita)