UbuntuUpdates.org

Package "prover9-mace4"

Name: prover9-mace4

Description:

GUI for Prover9 and Mace4

Latest version: 0.5.dfsg-2.1
Release: trusty (14.04)
Level: base
Repository: universe
Homepage: http://www.cs.unm.edu/~mccune/mace4/

Links


Download "prover9-mace4"


Other versions of "prover9-mace4" in Trusty

No other version of this package is available in the Trusty release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates