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.
No hi ha cap paquet oficial disponible per a openSUSE Leap 16.0Distribucions
openSUSE Tumbleweed
devel:Factory:git-workflow:staging:jir...
Experimental
4.14.1
openSUSE Leap 16.0
openSUSE Leap 15.6
devel:Factory:git-workflow:staging:jir...
Experimental
4.14.1
openSUSE Leap 15.5
devel:Factory:git-workflow:staging:jir...
Experimental
4.14.1
SLFO 1.2
SUSE SLE-15-SP1
Debian 10
Distribucions sense suport
Les distribucions següents no tenen suport oficial. Useu aquests paquets segons la vostra responsabilitat.