search

friguzzi / cplint

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

TEST: Load tests when using optimized arithmetic. #35

Closed JanWielemaker closed 4 years ago

JanWielemaker commented 4 years ago

Allows loading and running library(cplint_test/test) using (arithmetic) optimization (-O). Doesn't help much (about 4%). Using PGO optimized Prolog helps much more (~25%).