Download org.sat4j.sat JAR file with all dependencies
org.sat4j.sat from group org.sat4j (version 2.2.3)
Artifact org.sat4j.sat
Group org.sat4j
Version 2.2.3
Last update 24. December 2010
Tags: 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
Organization not specified
URL Not specified
License not specified
Dependencies amount 4
Dependencies org.sat4j.core, org.sat4j.pb, commons-beanutils, commons-cli,
There are maybe transitive dependencies!
Group org.sat4j
Version 2.2.3
Last update 24. December 2010
Tags: 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
Organization not specified
URL Not specified
License not specified
Dependencies amount 4
Dependencies org.sat4j.core, org.sat4j.pb, commons-beanutils, commons-cli,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)