[ sid ]

[ Source: ]

Paketti: cvc4-dbgsym (1.8-3) [debports]

Links for cvc4-dbgsym

Debian-palvelut:

Vikailmoitukset

Imuroi lähdekoodipaketti :

Ei löytynyt

Ylläpitäjät:

Samankaltaisia paketteja:

debug symbols for cvc4

Muut pakettiin cvc4-dbgsym liittyvät paketit

depends

recommends

suggests

enhances

dep: cvc4 (= 1.8-3)

automated theorem prover for SMT problems

Imuroi cvc4-dbgsym

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
riscv64 (epävirallinen siirros)	863.3 kt	905.0 kt	[tiedostoluettelo]