SAT Toolkit and other goodies. (link to javadoc)

http://www.sat4j.org/products.php#core

JavaDoc:
http://www.sat4j.org/maven23/org.sat4j.core/apidocs/index.html