» Ubuntu » Packages » focal (20.04LTS) » math » why3
bionic  ] [  focal  ] [  hirsute  ] [  impish  ] [  jammy  ]
[ Source: why3  ]

Package: why3 (1.2.1-6) [universe]

Links for why3

Screenshot

Ubuntu Resources:

Download Source Package why3:

Maintainer:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Similar packages:

Software verification platform

Other Packages Related to why3

  • depends
  • recommends
  • suggests
  • enhances
  • rec: cvc4 [armhf, s390x]
    automated theorem prover for SMT problems
    or spass
    automated theorem prover for first-order logic with equality
    or z3 (<< 4.8.7)
    theorem prover from Microsoft Research
    or alt-ergo (>= 2.0.0)
    Automatic theorem prover dedicated to program verification
  • rec: cvc4 [not armhf, s390x]
    automated theorem prover for SMT problems
    or why3-coq
    Coq support for the why3 verification platform
    or spass
    automated theorem prover for first-order logic with equality
    or z3 (<< 4.8.7)
    theorem prover from Microsoft Research
    or alt-ergo (>= 2.0.0)
    Automatic theorem prover dedicated to program verification

Download why3

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 30,063.1 kB144,527.0 kB [list of files]
arm64 38,455.5 kB188,659.0 kB [list of files]
armhf 19,938.6 kB98,479.0 kB [list of files]
ppc64el 32,355.3 kB164,401.0 kB [list of files]
s390x 31,157.6 kB164,977.0 kB [list of files]