data can validly be 0, in which case we never have a localpool.
data can validly be 0, in which case we never have a localpool.


ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver