Download paradox JAR file with all dependencies
paradox from group org.paradox (version 4.0)
Paradox is a tool that processes first-order logic problems and tries to find finite-domain models for them.
0 downloads
Artifact paradox
Group org.paradox
Version 4.0
Last update 28. February 2013
Organization not specified
URL http://vlsicad.eecs.umich.edu/BK/Slots/cache/www.cs.chalmers.se/~koen/paradox/
License GNU General Public License, version 2
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.paradox
Version 4.0
Last update 28. February 2013
Organization not specified
URL http://vlsicad.eecs.umich.edu/BK/Slots/cache/www.cs.chalmers.se/~koen/paradox/
License GNU General Public License, version 2
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)