Alternatives à z3 pour toutes les plateformes avec licence commerciale

• Toutes les plateformes
  Toutes les plateformes Windows Mac Linux Android iPhone iPad Web BSD
• Licence commerciale
  Toute licence License gratuite Licence Open Source Licence commerciale

180

MATLAB

Environnement informatique de classe entreprise et langage de programmation pour le calcul numérique.

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

140

Mathematica

Système informatique technique définitif couvrant l'apprentissage automatique et les réseaux de neurones, la science des données, les visualisations et bien plus encore.

• Payante
• Web
• Windows
• Mac
• Linux