Versions Packages Information History Related Badges Report

Information for alt-ergo

Summaries

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

Maintainers

All package recipes

Downloads

Build logs