» Ubuntu » Packages » jammy (22.04LTS) » Source » misc » cvc4
[  jammy  ] [  noble  ] [  plucky  ] [  questing  ] [  resolute  ]

Source Package: cvc4 (1.8-2) [universe]

Links for cvc4

Ubuntu Resources:

Maintainer:

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.

External Resources:

The following binary packages are built from this source package:
cvc4
automated theorem prover for SMT problems
libcvc4-7
automated theorem prover for SMT problems (runtime)
libcvc4-dev
automated theorem prover for SMT problems (development files)
libcvc4parser7
automated theorem prover for SMT problems (parser runtime)

Other Packages Related to cvc4

  • build-depends
  • build-depends-indep
  • adep: debhelper-compat (= 13)
    Package not available
  • adep: libgmp-dev
    Multiprecision arithmetic library developers tools
  • adep: libcln-dev
    Development library for Class Library for Numbers (c++)
  • adep: antlr3
    language tool for constructing recognizers, compilers etc
  • adep: libantlr3c-dev
    ANTLR v3 parser generator C runtime [development files]
  • adep: libboost-thread-dev
    portable C++ multi-threading (default version)
  • adep: libreadline-dev
    GNU readline and history libraries, development files
  • adep: libcryptominisat5-dev
    development files for the CryptoMiniSat SAT solver
  • adep: pkg-config
    manage compile and link flags for libraries
  • adep: cxxtest
    lightweight xUnit-like framework for C/C++ applications
  • adep: python3
    interactive high-level object-oriented language (default python3 version)
  • adep: python3-toml
    library for Tom's Obvious, Minimal Language - Python 3.x
  • adep: cmake
    cross-platform, open-source make system

Download cvc4

FileSize (in kB)MD5 checksum
cvc4_1.8-2.dsc 2.2 kB 3c5a4dad970ea018394b827dae8974bf
cvc4_1.8.orig.tar.gz 7,370.3 kB 9f7657e21fec3c4042225b0b8f513c34
cvc4_1.8-2.debian.tar.xz 16.1 kB 723fdc5b2e1998123905f4e27ae12d56
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/science-team/cvc4.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/science-team/cvc4