Advanced - Powered by Google


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

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


Registered: 2005-10-25 13:29
Developer Info
 Project Admins:
Daniel Le Berre
Stéphanie ROUSSEL

Developers:
12 [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
x utils (for archive purpose)2.1 November 17, 2007 Release Notes - Monitor this package Download
sudoku2.2+ February 13, 2009 Release Notes - Monitor this package Download
sat4j core2.3.5 May 25, 2013 Release Notes - Monitor this package Download
sat4j pseudo2.3.5 May 25, 2013 Release Notes - Monitor this package Download
sat4j maxsat2.3.5 May 25, 2013 Release Notes - Monitor this package Download
sat4j csp2.3.4 April 19, 2013 Release Notes - Monitor this package Download
sat4j sat2.3.4 April 19, 2013 Release Notes - Monitor this package Download
Interval Orders Aggregatoralpha July 5, 2009 Release Notes - Monitor this package Download
documentationcase studies preview1 May 11, 2011 Release Notes - Monitor this package Download
sat4j MUS2.3.4 April 19, 2013 Release Notes - Monitor this package Download

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

 
Latest News
Sat4j 2.3.4 released!
    Daniel Le Berre - 2013-04-19 14:40
Sat4j 2.3.3 released
    Daniel Le Berre - 2013-02-09 12:19
Sat4j 2.3.2 is out!
    Daniel Le Berre - 2012-07-09 17:20
Sat4j PB and MaxSat 2.3.1 no longer available
    Daniel Le Berre - 2012-02-19 15:38
Sat 4j 2.3.1 released
    Daniel Le Berre - 2011-10-30 12:05
Sat4j 2.3.0 released
    Daniel Le Berre - 2011-03-29 11:41
SAT4J 2.2.2 released
    Daniel Le Berre - 2010-10-19 13:12
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

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