Advanced - Powered by Google


   
Log In
New Account
  
 
Home
My Page
Project Tree
Project Openings
SAT4J
          
 
 
Summary
Forums
Tracker
Lists
Tasks
Docs
Surveys
News
CVS
Files
Wiki
SVN
                        
 

SAT4J is a reasoning engine in Java based on the SATisfiability problem (SAT).


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 Release Notes - Monitor this package Download
sudoku2.2+ February 13, 2009 Release Notes - Monitor this package Download
sat4j core2.1 final May 20, 2009 Release Notes - Monitor this package Download
sat4j pseudo2.1 final May 20, 2009 Release Notes - Monitor this package Download
sat4j maxsat2.1 final May 20, 2009 Release Notes - Monitor this package Download
sat4j cspCSP Competition 2009 June 22, 2009 Release Notes - Monitor this package Download
sat4j sat2.1 final May 20, 2009 Release Notes - Monitor this package Download

Public Areas
Home Page Project Home Page
TrackerTracker

 - 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


Forums Public Forums ( 73 messages in 4 forum )
Docs DocManager: Project Documentation
Lists Mailing Lists ( 2 public mailing lists)
Tasks Task Manager
  - SAT4J library
Surveys Surveys ( 1 surveys )
CVS CVS Repository

 
Latest News
SAT4J 2.1 released!
    Daniel Le Berre - 2009-05-27 11:10
SAT4J 2.1 RC3 Released!
    Daniel Le Berre - 2009-04-14 08:25
SAT4J 2.1.0 RC2 released
    Daniel Le Berre - 2009-03-18 19:04
SAT4J 2.0.5 release
    Daniel Le Berre - 2009-02-06 14:37
SAT4J 2.0.4 released
    Daniel Le Berre - 2008-11-03 08:58
SAT4J 2.0 to drive Eclipse next generation update manager
    Daniel Le Berre - 2008-03-14 09:15
SAT4J 2.0 RC2 released!
    Daniel Le Berre - 2008-01-03 10:46
SAT4J 1.7 released
    Daniel Le Berre - 2007-08-31 09:34
Sudoku as Satisfiability 2.1 released
    Daniel Le Berre - 2006-10-16 16:21
SAT4J 1.6_01 released
    Daniel Le Berre - 2006-06-16 10:21

Copyright © 1999-2008, OW2 Consortium | contact | webmaster.