z3

Z3 Z3 ist ein Theorembeweiser von Microsoft Research. Es ist unter der MIT-Lizenz lizenziert. Windows-Binärverteilungen enthalten C++-Laufzeit-Redistributables Wenn Sie mit Z3 nicht vertraut sind, können Sie hier beginnen. Vorgefertigte Binärdateien für stabile und nächtliche Versionen sind hier...