SAT4J core org.ow2.sat4j.core

Parent	org.ow2.sat4j.pom
Group	org.ow2.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	335.75 KB
文件	pom jar
发布时间	2013-04-19 20:18

dependencies

Group	Artifact	Version

developers

leberre	Daniel Le Berre	CRIL CNRS UMR 8189
sroussel	Stephanie Roussel	CRIL CNRS 8188
lonca	Emmanuel Lonca	CRIL CNRS 8188

licenses