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: 6 [View Members]

Latest File Releases Package Version Date Notes / Monitor Download x sat4j (for archive purpose ) 1.7 August 30, 2007 - Download sudoku 2.2+ February 13, 2009 - Download sat4j core 2.1 final May 20, 2009 - Download sat4j pseudo 2.1 final May 20, 2009 - Download sat4j maxsat 2.1 final May 20, 2009 - Download sat4j csp CSP Competition 2009 June 22, 2009 - Download sat4j sat 2.1 final May 20, 2009 - Download [View All Project Files]

Public Areas  Project Home Page Tracker  - Bugs ( 2 open / 27 total ) Bug Tracking System  - Support Requests ( 0 open / 0 total ) Tech Support Tracking System  - Patches ( 0 open / 0 total ) Patch Tracking System  - Feature Requests ( 10 open / 18 total ) Feature Request Tracking System  Public Forums ( 73 messages in 4 forum )  DocManager: Project Documentation  Mailing Lists ( 2 public mailing lists)  Task Manager   - SAT4J library Surveys ( 1 surveys ) CVS Repository

Latest News 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] SAT4J 1.7 released     Daniel Le Berre - 2007-08-31 09:34 (0 Comments) [Read More/Comment] Sudoku as Satisfiability 2.1 released     Daniel Le Berre - 2006-10-16 16:21 (0 Comments) [Read More/Comment] SAT4J 1.6_01 released     Daniel Le Berre - 2006-06-16 10:21 (0 Comments) [Read More/Comment] [News archive] [Submit News]