Pakiet: mona (1.4-17-2)
Odnośniki dla mona
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego mona:
Opiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [www.brics.dk]
Podobne pakiety:
Narzędzie do udowadniania twierdzeń oparte na automatach
MONA to narzędzie, które tłumaczy formuły w logice WS1S lub WS2S na automaty skończone reprezentowane przez BDD. Formuły mogą wyrażać wzorce wyszukiwania, właściwości czasowe układów reaktywnych, analizować ograniczenia drzewa itp. MONA analizuje również automat powstały w wyniku kompilacji i określa, czy formuła jest poprawna, a jeśli taka nie jest, generuje kontrprzykład.
Dokumentacja jest dostępna na stronie internetowej MONA: http://www.brics.dk/mona/.
Inne pakiety związane z mona
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.7) [nie amd64, arm64, ppc64el]
-
- dep: libgcc1 (>= 1:3.0) [nie armel, armhf]
- Pakiet niedostępny
- dep: libgcc1 (>= 1:3.5) [armel, armhf]
-
- dep: libstdc++6 (>= 5)
- Standardowa biblioteka GNU C++, wersja 3
-
- rec: graphviz
- rich set of graph drawing tools
Pobieranie mona
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
amd64 | 309,8 KiB | 1 368,0 KiB | [lista plików] |
arm64 | 277,5 KiB | 1 327,0 KiB | [lista plików] |
armel | 250,9 KiB | 1 072,0 KiB | [lista plików] |
armhf | 260,0 KiB | 878,0 KiB | [lista plików] |
i386 | 319,7 KiB | 1 324,0 KiB | [lista plików] |
mips64el | 289,1 KiB | 1 695,0 KiB | [lista plików] |
mipsel | 285,1 KiB | 1 432,0 KiB | [lista plików] |
ppc64el | 312,6 KiB | 1 787,0 KiB | [lista plików] |
s390x | 277,8 KiB | 1 439,0 KiB | [lista plików] |