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:
      Topic :: Scientific/Engineering [Remove This Filter]
      Operating System :: MacOS [Remove This Filter]


  Programming Language
      Java
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 (Now Filtering) , Windows [Filter] , Linux [Filter]
  • Programming Language: Java [Filter]
  • Topic: Scientific/Engineering (Now Filtering)

Register Date: 2005-10-25 13:29

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