Open Hub
Open Hub
 

Managed Projects

SAT4J

Claimed by The OW2 Consortium Analyzed 25 days ago

The SAT4J project is meant to provide SAT technologies to Java developers. SAT4J 2.0 is currently used in numerous academic projects (see SAT4J web site) and is used in the new Eclipse 3.4 update manager (Equinox p2).

71.3K lines of code

0 current contributors

10 months since last commit

4 users on Open Hub

Very Low Activity
5.0
 
0 Reviews
I Use This
Mostly written in Java
Licenses: eclipse, lgpl
Tags ai algorithms artificial_intelligence combinatorial_logic constraints dependency_management framework java library optimization research science 2 more...