Util.BooleanSolver is a constraint solver over Booleans that runs in almost linear time
Util.BooleanSolver is a constraint solver over Booleans that runs in almost linear time

darcs-hash:1a382612ca3693d39c31dfbf06df282083001f63

dpwright/jhc,dpwright/jhc,dpwright/jhc,dpwright/jhc