Алтернативи на z3 за Android с търговски лиценз

• Android
  Всички платформи Windows Mac Linux Android iPhone iPad Web BSD
• Търговски лиценз
  Всякакви лицензи Безплатен лиценз Лиценз с отворен код Търговски лиценз

180

MATLAB

Компютърна среда за бизнес и клас и език за програмиране за изчисления с цифри.

• Платено
• Windows
• Mac
• Linux
• Android
• iPhone
• iPad
• Web