Versions Packages Information History Related Badges Report

Information for alt-ergo

Package names

  • alt-ergo (7)

Versions

  • 2.1.0 (1)
  • 1.30 (5)
  • 1.01 (1)
  • 0.99.1 (1)
  • 0.95.2 (2)
  • 0.94 (1)

Repositories

Categories

  • Sciences/Computer science (1)
  • Unspecified (1)
  • math (2)
  • misc (1)
  • sci-mathematics (1)
  • universe/math (1)

Licenses

  • CECILL-C (1)
  • CeCILL-C (3)
  • CeCILL-C and LGPL (1)
  • custom:CeCILL-C (1)

Summaries

  • Automated theorem prover including linear arithmetic (2)
  • Automatic solver of mathematical formulas for program verification (1)
  • Automatic theorem prover (1)
  • High-performance theorem prover and SMT solver (1)
  • SMT solver for software verification (1)

Maintainers

Homepages

Downloads