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