Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

SAT4J

Claimed by The OW2 Consortium Analyzed about 8 hours 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).

70.9K lines of code

0 current contributors

about 1 month since last commit

4 users on Open Hub

Low Activity

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