Alternatívy z3 pre všetky platformy s komerčnou licenciou

• Všetky platformy
  Všetky platformy Windows Mac Linux Android iPhone iPad Web BSD
• Obchodná licencia
  Akákoľvek licencia Bezplatná licencia Licencia Open Source Obchodná licencia

180

MATLAB

Počítačové prostredie podnikovej triedy a programovací jazyk pre numerické výpočty.

• Platená
• Windows
• Mac
• Linux
• Android
• iPhone
• iPad
• Web

140

Mathematica

Definitívny technický výpočtový systém zahŕňajúci strojové učenie a neurónové siete, vedu o údajoch, vizualizácie a oveľa viac.

• Platená
• Web
• Windows
• Mac
• Linux