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:20060503035156-1a7c6-1a382612ca3693d39c31dfbf06df282083001f63

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc