Сервисы » Обзор пакетов » sci-mathematics »
why3-for-spark
| Описание: | Platform for deductive program verification |
|---|
| Лицензия: |
GPL-3
|
|---|
| Домашняя страница: | |
|---|
| Расположение: | 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
