alt-ergo binary package in Ubuntu Trusty powerpc

 Alt-Ergo is an automatic theorem prover geared towards application in
 program verification. It is based on CC(X), a congruence closure
 algorithm parameterized by an equational theory X. Alt-Ergo has
 built-in provers for propositional logic, linear arithmetic,
 uninterpreted function symbols, associative-commutative function
 symbols, polymorphic arrays, user-defined polymorphic record types
 and polymorphic enumeration types. It has restricted support for
 reasoning over arbitrary user-defined algebraic types, first-order
 quantifiers, and non-linear arithmetic.
 .
 This package contains the prover as a command-line executable
 as well as the graphical interface.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2013-12-24 16:38:36 UTC Published Ubuntu Trusty powerpc release universe math Optional 0.95.2-1build1
  • Published
  • Copied from ubuntu trusty-proposed powerpc in Primary Archive for Ubuntu
  Deleted Ubuntu Trusty powerpc proposed universe math Optional 0.95.2-1build1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2013-12-24 16:47:07 UTC Superseded Ubuntu Trusty powerpc release universe math Optional 0.95.2-1
  • Removed from disk .
  • Removal requested .
  • Superseded by powerpc build of alt-ergo 0.95.2-1build1 in ubuntu trusty PROPOSED
  • Published
  • Copied from ubuntu trusty-proposed powerpc in Primary Archive for Ubuntu
  2013-12-25 18:10:13 UTC Deleted Ubuntu Trusty powerpc proposed universe math Optional 0.95.2-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2013-11-18 00:18:33 UTC Superseded Ubuntu Trusty powerpc release universe math Optional 0.95.1-3
  • Removed from disk .
  • Removal requested .
  • Superseded by powerpc build of alt-ergo 0.95.2-1 in ubuntu trusty PROPOSED
  • Published
  • Copied from ubuntu saucy-proposed powerpc in Primary Archive for Ubuntu