Advanced - Powered by Google

Log In
New Account
My Page
Project Tree
Project Openings

Project Tree | Project List

Now limiting view to projects in the following categories:
      Operating System :: POSIX :: Linux [Remove This Filter]
      Operating System :: MacOS [Remove This Filter]

          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
  Intended Audience
  Operating System
  OW2 project maturity
  Programming Language

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

Register Date: 2005-10-25 13:29

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