boolean_solver
tests
