boolean_solver
examples
tests
