상용 라이센스가있는 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