search

friguzzi / cplint

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

Some improvements #40

Closed damianoazzolini closed 3 years ago

damianoazzolini commented 4 years ago

Fixed bug in abd_bdd_dot_string, typos, removed unused predicate, removed duplicate predicate and replaced rb_new/1 with rb_empty/1