ソースパッケージ: rumur (2025.08.31-1)
rumur に関するリンク
Debian の資源:
メンテナ:
外部の資源:
以下のバイナリパッケージがこのソースパッケージからビルドされています。
- rumur
- model checker for the Murphi language
その他の rumur 関連パッケージ
-
- adep:
debhelper-compat
(= 13)
- パッケージは利用できません
-
- adep:
bison
- YACC 互換なパーサジェネレータ
-
- adep:
cmake
- cross-platform, open-source make system
-
- adep:
flex
- 高速な字句解析器生成プログラム
-
- adep:
libfl-dev
- static library for flex (a fast lexical analyzer generator)
-
- adep:
libgmp-dev
- Multiprecision arithmetic library developers tools
-
- adep:
libxml2-utils
- GNOME XML library - utilities
-
- adep:
python3
- 対話式の高レベルオブジェクト指向言語 (デフォルト python3 バージョン)
-
- adep:
python3-pytest
- Simple, powerful testing in Python3
-
- adep:
strace
- System call tracer
-
- adep:
z3
- theorem prover from Microsoft Research
