C (programming language) 용 Mathematica의 대안

• C (programming language)
  모든 플랫폼 Windows Mac Linux Chrome OS Android iPhone Apple Watch iPad Android Tablet Kindle Fire Windows S Web Software as a Service (SaaS) Python BSD PortableApps.com Java Node.JS npm C++ Cloudron C (programming language) WebAssembly OCaml
• 모든 라이센스
  모든 라이센스 무료 라이센스 오픈 소스 라이센스 상용 라이센스

2

z3

Z3는 Microsoft Research의 정리 증명 자입니다.

• 무료 앱
• Windows
• Mac
• Linux
• Java
• WebAssembly
• C (programming language)
• OCaml
• Python
• C++