z3 описание, скриншоты и видео

  1. Главная
  2. Образование и справочники
  3. z3

z3

  • (409)
Описание, скриншоты и видео
Аналоги и альтернативы

Описание

Ссылки и скачивание

Ссылка на официальный сайт z3, по которой вы можете скачать приложение и найти более подробную информацию о нём
Ссылка на официальный сайт

Преимущества и недостатки

  • Решение исчисления
  • Math Solver
  • Решение уравнения

Поддерживаемые платформы и тарифы

Бесплатно | Открытый исходный код Mac Windows Linux WebAssembly С (язык программирования) OCaml Python С++ Java Английский

Краткое описание

  • Разработчик: Microsoft Research
  • Открытый исходный код и бесплатный продукт.
  • Написано на C++
  • 6 аналогов