Download jArgSemSAT JAR file with all dependencies
jArgSemSAT from group net.sf.jargsemsat (version 0.1.5)
Java re-implementation of ArgSemSAT https://sourceforge.net/projects/argsemsat/
NOT TO BE USED FOR EMPIRICAL EVALUATION
Artifact jArgSemSAT
Group net.sf.jargsemsat
Version 0.1.5
Last update 20. November 2015
Tags: https projects implementation sourceforge java used argsemsat empirical evaluation
Organization not specified
URL http://sourceforge.net/projects/jargsemsat/
License MIT License
Dependencies amount 1
Dependencies org.sat4j.core,
There are maybe transitive dependencies!
Group net.sf.jargsemsat
Version 0.1.5
Last update 20. November 2015
Tags: https projects implementation sourceforge java used argsemsat empirical evaluation
Organization not specified
URL http://sourceforge.net/projects/jargsemsat/
License MIT License
Dependencies amount 1
Dependencies org.sat4j.core,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)