License |
License |
---|---|
Categories |
CategoriesNet |
GroupId | GroupIdnet.sf.jargsemsat |
ArtifactId | ArtifactIdjArgSemSAT |
Last Version | Last Version0.1.7 |
Release Date | Release Date |
Type | Typejar |
Description |
Descriptionnet.sf.jargsemsat:jArgSemSAT
Java re-implementation of ArgSemSAT https://sourceforge.net/projects/argsemsat/
NOT TO BE USED FOR EMPIRICAL EVALUATION
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
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 |
Browse |
<!-- https://jarcasting.com/artifacts/net.sf.jargsemsat/jArgSemSAT/ -->
<dependency>
<groupId>net.sf.jargsemsat</groupId>
<artifactId>jArgSemSAT</artifactId>
<version>0.1.7</version>
</dependency>
// https://jarcasting.com/artifacts/net.sf.jargsemsat/jArgSemSAT/
implementation 'net.sf.jargsemsat:jArgSemSAT:0.1.7'
// https://jarcasting.com/artifacts/net.sf.jargsemsat/jArgSemSAT/
implementation ("net.sf.jargsemsat:jArgSemSAT:0.1.7")
'net.sf.jargsemsat:jArgSemSAT:jar:0.1.7'
<dependency org="net.sf.jargsemsat" name="jArgSemSAT" rev="0.1.7">
<artifact name="jArgSemSAT" type="jar" />
</dependency>
@Grapes(
@Grab(group='net.sf.jargsemsat', module='jArgSemSAT', version='0.1.7')
)
libraryDependencies += "net.sf.jargsemsat" % "jArgSemSAT" % "0.1.7"
[net.sf.jargsemsat/jArgSemSAT "0.1.7"]
Group / Artifact | Type | Version |
---|---|---|
org.sat4j : org.sat4j.core | jar | 2.3.1 |