A Study on Boolean Constraint Solvers