A library of SAT solvers written in Java