Alternativen zu z3 für Linux mit kommerzieller Lizenz

• Linux
  Alle Plattformen Windows Mac Linux Android iPhone iPad Web BSD
• Kommerzielle Lizenz
  Beliebige Lizen Freie Lizenz Open Source Lizenz Kommerzielle Lizenz

180

MATLAB

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

• Bezahlte
• Windows
• Mac
• Linux
• Android
• iPhone
• iPad
• Web

140

Mathematica

Definitives technisches Computersystem über maschinelles Lernen und neuronale Netze, Datenwissenschaft, Visualisierungen und vieles mehr.

• Bezahlte
• Web
• Windows
• Mac
• Linux