constraint_math.pl
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
roundCons
(Arg1, Arg2)