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
                    
 
Notes:

Release Name: 1.7

Notes: That archive is much bigger than previous releases because it contains the engine of the javascript Rhino interpreter used by the CSP to SAT translator. The nojs archive does not embed the javascript interpreter. People not interested in the CSP feature can safely download that version. Finally, SAT4J relies on 3 Jakarta commons libraries: commons-cli, commons-beanutils and commons-logging. Since those libraries are often used in java software, the nojs-nocommons archive is provided without those required libraries. It is thus up to the user to provide those libraries to Java classpath when using SAT4J in their app.


Changes:

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