z3

z3

Z3 ist ein Theorembeweiser von Microsoft Research.
Z3 ist ein Theorembeweiser von Microsoft Research

Alternativen zu z3 für iPhone mit kommerzieller Lizenz

MATLAB

MATLAB

Computerumgebung und Programmiersprache der Enterprise-Klasse für numerische Berechnungen.