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	225.53 KB
文件	pom jar
发布时间	2010-12-24 19:38

dependencies

Group	Artifact	Version

developers

leberre

Daniel Le Berre

CRIL

licenses