document 'localpool' (Fixme: Whats the purpose of localpool ?)
document 'localpool' (Fixme: Whats the purpose of localpool ?)


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