[ Pakiet źródłowy: cvc5 ]
Pakiet: libcvc5-dev (1.1.2-2 i inne)
Odnośniki dla libcvc5-dev
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 cvc5:
Opiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [cvc5.github.io]
Podobne pakiety:
automated theorem prover for SMT problems (development files)
Inne pakiety związane z libcvc5-dev
|
|
|
|
-
- dep: libcvc5-1 (= 1.1.2-2+b1)
- automated theorem prover for SMT problems (runtime)
-
- dep: libcvc5parser1 (= 1.1.2-2+b1)
- automated theorem prover for SMT problems (parser runtime)
-
- dep: libgmp-dev
- Multiprecision arithmetic library developers tools
Pobieranie libcvc5-dev
| Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|---|
| armhf | 1.1.2-2+b1 | 91,1 KiB | 686,0 KiB | [lista plików] |