Skip to content
Sections
>> Trisquel >> Paket >> aramo >> Källkod >> misc >> cvc4
etiona  ] [  nabia  ] [  aramo  ]

Källkodspaket: cvc4 (1.8-2)

Länkar för cvc4

Trisquelresurser:

Ansvarig:

Original Maintainers:

  • Debian Science Maintainers
  • Fabian Wolff

Externa resurser:

Följande binärpaket byggs från detta källkodspaket:
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)

Andra paket besläktade med cvc4

  • bygg-beroende
  • arkitekturoberoende bygg-beroende
  • adep: debhelper-compat (= 13)
    Paketet inte tillgängligt
  • 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

FilStorlek (i kbyte)MD5-kontrollsumma
cvc4_1.8-2.dsc 2,2 kbyte 3c5a4dad970ea018394b827dae8974bf
cvc4_1.8.orig.tar.gz 7.370,3 kbyte 9f7657e21fec3c4042225b0b8f513c34
cvc4_1.8-2.debian.tar.xz 16,1 kbyte 723fdc5b2e1998123905f4e27ae12d56
Debians paketkällkodsarkiv- (VCS: Git)
https://salsa.debian.org/science-team/cvc4.git
Debians paketkällkodsarkiv (blädderbart)
https://salsa.debian.org/science-team/cvc4