why3-for-spark

Описание:Platform for deductive program verification
Лицензия: GPL-3
Домашняя страница:https://why3.lri.fr/
Расположение:Portage
Легенда:
  • + - стабильный
  • ~ - нестабильный
  • M - замаскированный
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
2021-r1 - + - - - - - - - - - - -

USE флаги

  • coq - Add sci-mathematics/coq support
  • doc - Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
  • emacs - Add support for GNU Emacs
  • gtk - Add support for x11-libs/gtk+ (The GIMP Toolkit)
  • html - Build HTML documentation
  • hypothesis-selection - Enable hypothesis selection
  • ocamlopt - Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
  • sexp - Add support for outputting S-expressions with dev-ml/ppx_sexp_conv
  • zarith - Use Zarith (dev-ml/zarith) instead of Nums (dev-ml/num) for computations
  • zip - Enable compression of session files

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

Спасибо!