Installlion's Logo

Installlion.com

Install or Uninstall z3 on jollyroger

z3 theorem 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.7 science

Package Data

Packagez3
Version4.4.1-0.3
MaintainerMichael Tautschnig
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