商用ライセンスを使用するMacのz3の代替

• Mac
  すべてのプラットフォーム Windows Mac Linux Android iPhone iPad Web BSD
• 商用ライセンス
  任意のライセンス 無料ライセンス オープンソースライセンス 商用ライセンス

180

MATLAB

数値計算用のエンタープライズクラスのコンピューティング環境とプログラミング言語。

• 有料アプリ
• Windows
• Mac
• Linux
• Android
• iPhone
• iPad
• Web

140

Mathematica

機械学習とニューラルネットワーク、データサイエンス、視覚化などにまたがる決定的なテクニカルコンピューティングシステム。

• 有料アプリ
• Web
• Windows
• Mac
• Linux