o

org.sat4j.csp.xmlparser

users provide basis about solvers since possible compared details sat4j black targets work application opensat researchers boxes into willing research without embed project technologies worrying library java their first also efficient
文件下载
文件名 操作
org.sat4j.csp.xmlparser-2.3.0.jar 下载
org.sat4j.csp.xmlparser-2.3.0.pom 下载
org.sat4j.csp.xmlparser-2.3.0-sources.jar 下载
Apache Maven 
<dependency>
  <groupId>org.sat4j</groupId>
  <artifactId>org.sat4j.csp.xmlparser</artifactId>
  <version>2.3.0</version>
</dependency>
Gradle Groovy 
implementation 'org.sat4j:org.sat4j.csp.xmlparser:2.3.0'
Gradle Kotlin 
implementation("org.sat4j:org.sat4j.csp.xmlparser:2.3.0")
Scala SBT 
libraryDependencies += "org.sat4j" % "org.sat4j.csp.xmlparser" % "2.3.0"
Groovy Grape 
@Grapes(
  @Grab(group='org.sat4j', module='org.sat4j.csp.xmlparser', version='2.3.0')
)
Apache Ivy 
<dependency org="org.sat4j" name="org.sat4j.csp.xmlparser" rev="2.3.0" />
Leiningen 
[org.sat4j/org.sat4j.csp.xmlparser "2.3.0"]
Apache Buildr 
'org.sat4j:org.sat4j.csp.xmlparser:jar:2.3.0'
本项目依赖 
<parent>
  <groupId>org.sat4j</groupId>
  <artifactId>org.sat4j.pom</artifactId>
  <version>2.3.0</version>
</parent>
该项目无第三方依赖