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.
Ei virallista pakettia saatavilla: openSUSE Leap 15.5Jakelut
openSUSE Tumbleweed
openSUSE Leap 15.6
openSUSE Leap 15.5
openSUSE Leap 15.4
SUSE SLE-15-SP1
Debian 10
Ei-tuetut jakelut
Seuraavia jakeluja ei virallisesti tueta. Käytä näitä paketteja omalla vastuullasi.