Advanced - Powered by Google


   
Log In
New Account
  
 
Home
My Page
Project Tree
Project Openings
        
 

Project Tree | Project List


Now limiting view to projects in the following categories:
      Operating System :: Microsoft :: Windows [Remove This Filter]


  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).
 
  • Development Status: 5 - Production/Stable [Filter]
  • Environment: Console (Text Based) [Filter]
  • Intended Audience: Developers [Filter]
  • License: Eclipse Public License \(EPL\) [Filter] , GNU Lesser General Public License \(LGPL\) [Filter]
  • Operating System: MacOS [Filter] , Windows (Now Filtering) , Linux [Filter]
  • Programming Language: Java [Filter]
  • Topic: Scientific/Engineering [Filter]

Register Date: 2005-10-25 13:29

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