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

My Page
Project Tree
Project Openings

Project Tree | Project List

          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).

Register Date: 2005-10-25 13:29

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