z3

Описание:An efficient theorem prover
Лицензия: MIT
Домашняя страница:https://github.com/Z3Prover/z3/
Расположение:Portage
Легенда:
  • + - стабильный
  • ~ - нестабильный
  • M - замаскированный
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
4.12.1 - + + - - - - ~ + - - + +

USE флаги

Экспортировать в Atom

Спасибо!