net.sf.jargsemsat:jArgSemSAT

Java re-implementation of ArgSemSAT https://sourceforge.net/projects/argsemsat/ NOT TO BE USED FOR EMPIRICAL EVALUATION

License	MIT License
Categories	Net
GroupId	net.sf.jargsemsat
ArtifactId	jArgSemSAT
Last Version	0.1.7
Release Date	Nov 25, 2015
Type	jar
Description	net.sf.jargsemsat:jArgSemSAT Java re-implementation of ArgSemSAT https://sourceforge.net/projects/argsemsat/ NOT TO BE USED FOR EMPIRICAL EVALUATION
Project URL	http://sourceforge.net/projects/jargsemsat/
Source Code Management	http://hg.code.sf.net/p/jargsemsat/code

Download jArgSemSAT

Filename	Size
jArgSemSAT-0.1.7.pom
jArgSemSAT-0.1.7.jar	33 KB
jArgSemSAT-0.1.7-sources.jar	21 KB
jArgSemSAT-0.1.7-javadoc.jar	95 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/net.sf.jargsemsat/jArgSemSAT/ -->
<dependency>
    <groupId>net.sf.jargsemsat</groupId>
    <artifactId>jArgSemSAT</artifactId>
    <version>0.1.7</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/net.sf.jargsemsat/jArgSemSAT/
implementation 'net.sf.jargsemsat:jArgSemSAT:0.1.7'

Gradle Kotlin

// https://jarcasting.com/artifacts/net.sf.jargsemsat/jArgSemSAT/
implementation ("net.sf.jargsemsat:jArgSemSAT:0.1.7")

Apache Buildr

'net.sf.jargsemsat:jArgSemSAT:jar:0.1.7'

Apache Ivy

<dependency org="net.sf.jargsemsat" name="jArgSemSAT" rev="0.1.7">
  <artifact name="jArgSemSAT" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='net.sf.jargsemsat', module='jArgSemSAT', version='0.1.7')
)

Scala SBT

libraryDependencies += "net.sf.jargsemsat" % "jArgSemSAT" % "0.1.7"

Leiningen

[net.sf.jargsemsat/jArgSemSAT "0.1.7"]

Dependencies

compile (1)

Group / Artifact	Type	Version
org.sat4j : org.sat4j.core	jar	2.3.1

Project Modules

There are no modules declared in this project.

Versions

Version
0.1.7 Nov 25, 2015
0.1.6 Nov 21, 2015
0.1.5 Nov 20, 2015