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: Fabien Delorme Daniel Le Berre Developers: 8 [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.1 October 30, 2011 - Download sat4j pseudo 2.3.1 October 30, 2011 - Download sat4j maxsat 2.3.1 October 30, 2011 - Download sat4j csp CSP Competition 2009 June 22, 2009 - Download sat4j sat 2.3.1 October 30, 2011 - Download Interval Orders Aggregator alpha July 5, 2009 - Download documentation case studies preview1 May 11, 2011 - Download sat4j MUS 2.3.1 October 30, 2011 - Download [View All Project Files]

Public Areas  Project Home Page  Public Forums ( 281 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 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] SAT4J 2.0.5 release     Daniel Le Berre - 2009-02-06 14:37 (0 Comments) [Read More/Comment] SAT4J 2.0.4 released     Daniel Le Berre - 2008-11-03 08:58 (0 Comments) [Read More/Comment] SAT4J 2.0 to drive Eclipse next generation update manager     Daniel Le Berre - 2008-03-14 09:15 (0 Comments) [Read More/Comment] SAT4J 2.0 RC2 released!     Daniel Le Berre - 2008-01-03 10:46 (0 Comments) [Read More/Comment] [News archive] [Submit News]