Indexed Artifacts (7.76M)

Popular Categories

Paradox is a tool that processes first-order logic problems and tries to find finite-domain models for them.

LicenseGPL 2.0
HomePage http://vlsicad.eecs.umich.edu/BK/Slots/cache/www.cs.chalmers ...
Date(Feb 28, 2013)
FilesDownload (JAR) (736 KB)
RepositoriesCentral




Compile Dependencies (0)

Category/License Group / ArtifactVersionUpdates

Licenses

LicenseURL
GNU General Public License, version 2 http://www.gnu.org/licenses/old-licenses/gpl-2.0.html

Developers

NameEmailDev IdRolesOrganization
Koen Claessen koen<at>chalmers.sekoen
Niklas Sörensson nik<at>cs.chalmers.seniklas