SAT4J org.ow2.sat4j.pom

Parent	ow2
Group	org.ow2.sat4j
描述	Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.
Packaging	pom
Size	13.50 KB
文件	pom jar
网址	http://www.sat4j.org/
发布时间	2020-12-15 00:33

dependencies

Group	Artifact	Version
junit	junit	4.12
org.mockito	mockito-all	1.9.5

developers

leberre

Daniel Le Berre

CRIL CNRS 8188

licenses

Eclipse Public License 1.0	http://www.eclipse.org/org/documents/epl-v10.php
GNU Lesser GPL 2.1	http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html