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
                    
 

Submit | Admin

Choose a News item and you can browse, search, and post messages.

 19 Apr 13: Sat4j 2.3.4 released! (Posted by: leberre)
 09 Feb 13: Sat4j 2.3.3 released (Posted by: leberre)
 09 Jul 12: Sat4j 2.3.2 is out! (Posted by: leberre)
 19 Feb 12: Sat4j PB and MaxSat 2.3.1 no longer available (Posted by: leberre)
 30 Oct 11: Sat 4j 2.3.1 released (Posted by: leberre)
 29 Mar 11: Sat4j 2.3.0 released (Posted by: leberre)
 19 Oct 10: SAT4J 2.2.2 released (Posted by: leberre)
 27 May 09: SAT4J 2.1 released! (Posted by: leberre)
 14 Apr 09: SAT4J 2.1 RC3 Released! (Posted by: leberre)
 18 Mar 09: SAT4J 2.1.0 RC2 released (Posted by: leberre)
 06 Feb 09: SAT4J 2.0.5 release (Posted by: leberre)
 03 Nov 08: SAT4J 2.0.4 released (Posted by: leberre)
 14 Mar 08: SAT4J 2.0 to drive Eclipse next generation update manager (Posted by: leberre)
 03 Jan 08: SAT4J 2.0 RC2 released! (Posted by: leberre)
 31 Aug 07: SAT4J 1.7 released (Posted by: leberre)
 16 Oct 06: Sudoku as Satisfiability 2.1 released (Posted by: leberre)
 16 Jun 06: SAT4J 1.6_01 released (Posted by: leberre)
 01 Mar 06: UBCSAT code moved to separate ubcsat module (Posted by: leberre)
 01 Mar 06: Results of the SAT4J library on the SAT Race 2006 benchmarks (Posted by: leberre)
 17 Feb 06: Sudoku as satisfiability 1.0 released! (Posted by: leberre)

Copyright © 1999-2008, OW2 Consortium | contact | You have a difficulty, a problem ? Please report an issue using your OW2 forge account credentials