yices2

Описание:SMT Solver supporting SMT-LIB and Yices specification language
Лицензия: GPL-3+
Домашняя страница:https://github.com/SRI-CSL/yices2/
Расположение:Portage
Легенда:
  • + - стабильный
  • ~ - нестабильный
  • M - замаскированный
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
2.6.4-r1 - ~ - - - - - - - - - - ~

USE флаги

  • mcsat - Enable support for MCSAT

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

Спасибо!