boolean_solver
