Pakiet źródłowy: rumur (2025.02.02-1)
Odnośniki dla rumur
Zasoby systemu Debian:
Opiekun:
Zasoby zewnętrzne:
Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
- rumur
- model checker for the Murphi language
Inne pakiety związane z rumur
-
- adep:
debhelper-compat
(= 13)
- Pakiet niedostępny
-
- adep:
bison
- YACC-compatible parser generator
-
- adep:
cmake
- Wieloplatformowy system do tworzenia oprogramowania typu open source
-
- adep:
flex
- Szybki generator analizatorów leksykalnych
-
- 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
- Interaktywny, wysokopoziomowy i obiektowy język programowania (domyślna wersja Python 3)
-
- adep:
python3-pytest
- Simple, powerful testing in Python3
-
- adep:
strace
- Tropiciel wywołań systemowych
-
- adep:
z3
- Narzędzie do udowadniania twierdzeń firmy Microsoft Research
