SAT4J sat org.ow2.sat4j.sat

Parent	org.ow2.sat4j.pom
Group	org.ow2.sat4j
描述
Packaging	jar
Size	152.03 KB
文件	pom jar
发布时间	2020-12-15 00:58

dependencies

Group	Artifact	Version
org.ow2.sat4j	org.ow2.sat4j.core	2.3.6
org.ow2.sat4j	org.ow2.sat4j.pb	2.3.6
org.ow2.sat4j	org.ow2.sat4j.maxsat	2.3.6
commons-beanutils	commons-beanutils	1.8.3
commons-cli	commons-cli	1.2
net.sf.jchart2d	jchart2d	3.3.2

developers

licenses