SAT4J core org.sat4j.core

Parent	org.sat4j.pom
Group	org.sat4j
描述	The core library contains a flexible implementation in Java of the initial Minisat specification. The library is regularly updated with latest SAT technologies. It is a mature software that target Java developer willing to use SAT capability in their software.
Packaging	jar
Size	243.49 KB
文件	pom jar
发布时间	2011-03-30 17:13

dependencies

Group	Artifact	Version

developers

leberre

Daniel Le Berre

CRIL

licenses