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.
openSUSE Leap 15.5 没有可用的官方软件包发行版
openSUSE Tumbleweed
openSUSE Leap 15.6
openSUSE Leap 15.5
openSUSE Leap 15.4
SUSE SLE-15-SP1
Debian 10
不受支持的发行版
下列发行版未被官方支持。使用这些软件包需要您自担风险。