Download jmpi-solver-sat4j JAR 0.4 with all dependencies
The solver interface for SAT4J
Files of the artifact jmpi-solver-sat4j version 0.4 from the group net.sf.jmpi.
Artifact jmpi-solver-sat4j
Group net.sf.jmpi
Version 0.4
Last update 06. February 2014
Tags: solver sat4j interface
Organization not specified
URL http://jmpi.sf.net
License GNU Lesser General Public License
Dependencies amount 3
Dependencies org.ow2.sat4j.core, org.ow2.sat4j.pb, jmpi-main,
There are maybe transitive dependencies!
Group net.sf.jmpi
Version 0.4
Last update 06. February 2014
Tags: solver sat4j interface
Organization not specified
URL http://jmpi.sf.net
License GNU Lesser General Public License
Dependencies amount 3
Dependencies org.ow2.sat4j.core, org.ow2.sat4j.pb, jmpi-main,
There are maybe transitive dependencies!
There is a newer version: 0.6
Show newest versionShow all versions of jmpi-solver-sat4j Show documentation
Please rate this JAR file. Is it a good library?
1 downloads
Source code of jmpi-solver-sat4j version 0.4
META-INF
net.sf.jmpi.solver.sat4j
© 2015 - 2024 Weber Informatics LLC | Privacy Policy