Availability::- use_module(library(clpBNR)).
 absolve(X:numeric_List, Precision:integer) is nondet
Same as absolve/1 with precision defined by Precision.
See also
- absolve/1