» Ubuntu » Пакети » focal (20.04LTS) » libs » libcvc4-5
focal  ]
[ Източник: cvc4  ]

Пакет: libcvc4-5 (1.6-2build2) [universe]

Връзки за libcvc4-5

Screenshot

Ресурси за Ubuntu:

Изтегляне на пакет-източник cvc4.

Отговорник:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian Science Maintainers
  • Fabian Wolff

It should generally not be necessary for users to contact the original maintainer.

Външни препратки:

Подобни пакети:

automated theorem prover for SMT problems (runtime)

Други пакети, свързани с libcvc4-5

  • зависимости
  • препоръчани
  • предложени
  • enhances
  • dep: libc6 (>= 2.29)
    GNU C Library: Shared libraries
    също и виртуален пакет, предлаган от libc6-udeb
  • dep: libgcc-s1 (>= 3.0)
    GCC support library
  • dep: libgmp10
    Multiprecision arithmetic library
  • dep: libstdc++6 (>= 9)
    GNU Standard C++ Library v3

Изтегляне на libcvc4-5

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
amd64 4 407,0 кБ15 974,0 кБ [списък на файловете]