Sat4j
the boolean satisfaction and optimization library in Java
 

Software related to SAT4J