friguzzi / cplint

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

Merge slipcover-test-no-area with master #1

Closed giuseta closed 8 years ago

giuseta commented 8 years ago

slipcover-test-no-area is a branch that contains a modified version of prolog/slipcover.pl. In this modified version a new pradicate called 'test_no_area' was added. 'test_no_area' returns a list containing the probabilities of all the test examples.