friguzzi / cplint

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

Force floating point arithmetic for probabilities, even if the SWI-Pr… #34

Closed JanWielemaker closed 4 years ago

JanWielemaker commented 4 years ago

Runs all tests while preferring rational number arithmetic. Not sure whether I've got them all and possibly I forced float in a few too many places. I tried to restrict this to probabilities. All remains portable (only changed constants from int to float and added a few float(Expr) casts.