Advanced - Powered by Google


   
Log In
New Account
  

The services provided by this GForge instance will stop on Jun/30. Please have a look at the information notice for more information

 
Home
My Page
Project Tree
Project Openings
SAT4J
          
 
 
Summary
Forums
Lists
Tasks
Docs
Surveys
News
CVS
Files
SVN
                    
 
Notes:

Release Name: POS 2012

Notes:
That version provides a visualization of the search and the possibility to configure the solver on-the-fly.
That release is mainly intended for PoS 2012 reviewers. Final version will be released with 2.3.2 release.


Changes: Improved command line configuration. Remote control (GUI) configuration. Search visualization.

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