z3

z3

Theorem prover from Microsoft Research

Z3 is a Satisfiability Modulo Theories (SMT) solver and integrates several decision procedures: Linear real and integer arithmetic, fixed-size bit vectors, uninterpreted functions, extensional arrays, quantifiers and model generation.

Il n'y a pas de paquet officiel disponible pour openSUSE Leap 16.0

Distributions

openSUSE Tumbleweed

Version officielle Officiel
4.15.0
Expert Download

openSUSE Leap 16.0

openSUSE Leap 15.6

openSUSE Leap 15.5

SLFO 1.2

SUSE SLE-15-SP1

Debian 10

Distributions non supportées

Les distributions suivantes ne sont pas officiellement supportées. À utiliser à vos risques et périls.