SAT4J is a reasoning engine in Java based on the SATisfiability problem (SAT). Development Status: 5 - Production/Stable Environment: Console (Text Based) Intended Audience: Developers License: Eclipse Public License (EPL), GNU Lesser General Public License (LGPL) Operating System: MacOS, Windows, Linux Programming Language: Java Topic: Scientific/Engineering Registered: 2005-10-25 13:29

Developer Info Project Admins: Stéphanie ROUSSEL Daniel Le Berre Developers: 10 [View Members]

Latest File Releases Package Version Date Notes / Monitor Download x sat4j (for archive purpose ) 1.7 August 30, 2007 - Download x utils (for archive purpose) 2.1 November 17, 2007 - Download sudoku 2.2+ February 13, 2009 - Download sat4j core 2.3.5 May 25, 2013 - Download sat4j pseudo 2.3.5 May 25, 2013 - Download sat4j maxsat 2.3.5 May 25, 2013 - Download sat4j csp 2.3.4 April 19, 2013 - Download sat4j sat 2.3.4 April 19, 2013 - Download Interval Orders Aggregator alpha July 5, 2009 - Download documentation case studies preview1 May 11, 2011 - Download sat4j MUS 2.3.4 April 19, 2013 - Download [View All Project Files]

Public Areas  Project Home Page  Public Forums ( 303 messages in 4 forum )  DocManager: Project Documentation  Mailing Lists ( 2 public mailing lists)  Task Manager There are no public subprojects available Surveys ( 0 surveys ) CVS Repository

Latest News Sat4j 2.3.4 released!     Daniel Le Berre - 2013-04-19 14:40 (1 Comment) [Read More/Comment] Sat4j 2.3.3 released     Daniel Le Berre - 2013-02-09 12:19 (0 Comments) [Read More/Comment] Sat4j 2.3.2 is out!     Daniel Le Berre - 2012-07-09 17:20 (0 Comments) [Read More/Comment] Sat4j PB and MaxSat 2.3.1 no longer available     Daniel Le Berre - 2012-02-19 15:38 (1 Comment) [Read More/Comment] Sat 4j 2.3.1 released     Daniel Le Berre - 2011-10-30 12:05 (0 Comments) [Read More/Comment] Sat4j 2.3.0 released     Daniel Le Berre - 2011-03-29 11:41 (0 Comments) [Read More/Comment] SAT4J 2.2.2 released     Daniel Le Berre - 2010-10-19 13:12 (0 Comments) [Read More/Comment] SAT4J 2.1 released!     Daniel Le Berre - 2009-05-27 11:10 (0 Comments) [Read More/Comment] SAT4J 2.1 RC3 Released!     Daniel Le Berre - 2009-04-14 08:25 (0 Comments) [Read More/Comment] SAT4J 2.1.0 RC2 released     Daniel Le Berre - 2009-03-18 19:04 (0 Comments) [Read More/Comment] [News archive] [Submit News]