psmt2-frontend

Описание:Library to parse and type-check an extension of the SMT-LIB 2 standard
Лицензия: Apache-2.0
Домашняя страница:https://github.com/OCamlPro-Coquera/psmt2-frontend
Расположение:Portage
Легенда:
  • + - стабильный
  • ~ - нестабильный
  • M - замаскированный
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
0.4.0 diff - + - - - - - - - - - - ~
0.2 - + - - - - - - - - - - ~

USE флаги

  • ocamlopt - Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
  • test - Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

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

Спасибо!