This module is here mostly because there are some numerical problems with library(clpr).
The following predicates are exported, but not or incorrectly documented.