provide access to whatprovidesdata via Pool.each_provider(int)
provide access to whatprovidesdata via Pool.each_provider(int)


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