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 sat4j (archive) 2.0 RC8 April 30, 2008 - Download utils 2.4 March 14, 2008 - Download sudoku 2.2 March 8, 2008 - Download sat4j core 2.0.4 October 31, 2008 - Download sat4j pseudo 2.0.4 November 1, 2008 - Download sat4j maxsat 2.0.4 November 1, 2008 - Download sat4j csp CSP COMPETITION 2008 June 13, 2008 - Download [View All Project Files]

Public Areas  Project Home Page Tracker  - Bugs ( 3 open / 25 total ) Bug Tracking System  - Support Requests ( 0 open / 0 total ) Tech Support Tracking System  - Patches ( 0 open / 0 total ) Patch Tracking System  - Feature Requests ( 12 open / 16 total ) Feature Request Tracking System  Public Forums ( 67 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.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] UBCSAT code moved to separate ubcsat module     Daniel Le Berre - 2006-03-01 08:55 (0 Comments) [Read More/Comment] Results of the SAT4J library on the SAT Race 2006 benchmarks     Daniel Le Berre - 2006-03-01 08:55 (0 Comments) [Read More/Comment] Sudoku as satisfiability 1.0 released!     Daniel Le Berre - 2006-02-17 10:08 (0 Comments) [Read More/Comment] [News archive] [Submit News]