SAT4J sat org.ow2.sat4j.sat

Parent	org.ow2.sat4j.pom
Group	org.ow2.sat4j
描述
Packaging	jar
Size	142.29 KB
文件	pom jar
发布时间	2013-04-19 20:25

dependencies

Group	Artifact	Version
org.ow2.sat4j	org.ow2.sat4j.core	2.3.4
org.ow2.sat4j	org.ow2.sat4j.pb	2.3.4
org.ow2.sat4j	org.ow2.sat4j.maxsat	2.3.4
commons-beanutils	commons-beanutils	1.6
commons-cli	commons-cli	1.1
net.sf.jchart2d	net.sf.jchart2d	3.2.2

developers

licenses