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