Installion's Lion Logo

Installion.co.uk

Install or Uninstall z3 on jollyroger

z3theorem prover from Microsoft Research used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories.Parrot 3.7science4.4.1-0.3

Package Data

Packagez3
Version4.4.1-0.3
MaintainerMichael Tautschnig <mt@debian.org>
Home pagehttps://github.com/Z3Prover/z3
Descriptiontheorem prover from Microsoft Research used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories.
Distroparrot
Releasejollyroger
Repomain
Sectionscience