Advanced - Powered by Google


   
Log In
New Account
  
 
Home
My Page
Project Tree
Project Openings
        
 

Project Tree | Project List


  Topic
      Scientific/Engineering
          Artificial Intelligence (0 projects)
          Astronomy (0 projects)
          Bio-Informatics (0 projects)
          Electronic Design Automation (EDA) (0 projects)
          Mathematics (0 projects)
          Medical Science Apps. (0 projects)
          Visualization (2 projects)
Browse By:
  Development Status
  Environment
  Intended Audience
  License
  Operating System
  OW2 project maturity
  Programming Language
  Topic

1 projects in result set.
1. SAT4J, A SATisfiability library for Java - SAT4J is a reasoning engine in Java based on the SATisfiability problem (SAT).
 

Register Date: 2005-10-25 13:29

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