SAT Solver for Java (SAT4J) University d'Artois http://www.sat4j.org /cvsroot/tools org.eclipse.orbit/org.sat4j.pb v2_0_0 Pascal Rapicault pascal@sonatype.com Sonatype EPL / LGPL SAT Solver for Java (SAT4J) University d'Artois http://www.sat4j.org /cvsroot/tools org.eclipse.orbit/org.sat4j.pb v2_1_0 Pascal Rapicault pascal@sonatype.com Sonatype EPL / LGPL SAT Solver for Java (SAT4J) University d'Artois http://www.sat4j.org /cvsroot/tools org.eclipse.orbit/org.sat4j.pb v2_1_1 Pascal Rapicault pascal@sonatype.com Sonatype EPL / LGPL SAT Solver for Java (SAT4J) University d'Artois http://www.sat4j.org /cvsroot/tools org.eclipse.orbit/org.sat4j.pb v2_2_0 Pascal Rapicault pascal@sonatype.com Sonatype EPL / LGPL SAT Solver for Java (SAT4J) University d'Artois http://www.sat4j.org /cvsroot/tools org.eclipse.orbit/org.sat4j.pb v2_3_0 DJ Houghton dj_houghton@ca.ibm.com IBM EPL / LGPL SAT Solver for Java (SAT4J) University d'Artois http://www.sat4j.org /cvsroot/tools org.eclipse.orbit/org.sat4j.pb v2_3_4 Pascal Rapicault pascal@rapicault.net Ericsson / Rapicorp EPL / LGPL SAT Solver for Java (SAT4J) University d'Artois http://www.sat4j.org /cvsroot/tools org.eclipse.orbit/org.sat4j.pb v2_3_5 Krzysztof Daniel kdaniel@redhat.com Red Hat EPL / LGPL