z3-Alternativen für Mac

• Mac
  Alle Plattformen Windows Mac Linux Android iPhone iPad Web BSD
• Beliebige Lizen
  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

172

GNU Octave

Octave ist ein Computerprogramm zur Durchführung numerischer Berechnungen, das hauptsächlich mit MATLAB kompatibel ist.Es ist Teil des GNU-Projekts.

• Kostenlose
• Windows
• Mac
• Linux
• BSD

165

R (programming language)

R ist eine freie Softwareumgebung für statistische Berechnungen und Grafiken.

• Kostenlose
• Windows
• Mac
• Linux
• BSD

140

Mathematica

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

• Bezahlte
• Web
• Windows
• Mac
• Linux