cvc4 1.6-2build1 source package in Ubuntu
Changelog
cvc4 (1.6-2build1) disco; urgency=medium * No-change rebuild for readline soname change. -- Matthias Klose <email address hidden> Mon, 14 Jan 2019 20:09:05 +0000
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Disco
- Original maintainer:
- Debian Science Maintainers
- Architectures:
- amd64 i386 mips mips64el mipsel hurd-i386 ia64 kfreebsd-amd64 kfreebsd-i386 m68k powerpcspe x32
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
cvc4_1.6.orig.tar.gz | 7.5 MiB | 5c18bd5ea893fba9723a4d35c889d412ec6d29a21db9db69481891a8ff4887c7 |
cvc4_1.6-2build1.debian.tar.xz | 8.1 KiB | 9fbd897b205a1755d7a9dccf8234b836cc217c8d34d6cdee5aab2adf1f942476 |
cvc4_1.6-2build1.dsc | 2.6 KiB | 506b30a1b201310a8a74b17fabb660e3847cd66c90ce956b90929e79f9c27b4d |
Available diffs
- diff from 1.5-1buil1build1 to 1.6-2build1 (4.1 MiB)
- diff from 1.6-2 (in Debian) to 1.6-2build1 (304 bytes)
Binary packages built by this source
- cvc4: No summary available for cvc4 in ubuntu disco.
No description available for cvc4 in ubuntu disco.
- cvc4-dbgsym: No summary available for cvc4-dbgsym in ubuntu eoan.
No description available for cvc4-dbgsym in ubuntu eoan.
- libcvc4-5: No summary available for libcvc4-5 in ubuntu disco.
No description available for libcvc4-5 in ubuntu disco.
- libcvc4-5-dbgsym: debug symbols for libcvc4-5
- libcvc4-dev: No summary available for libcvc4-dev in ubuntu eoan.
No description available for libcvc4-dev in ubuntu eoan.
- libcvc4parser5: automated theorem prover for SMT problems (parser runtime)
CVC4 is an efficient automatic theorem prover for satisfiability
modulo theories (SMT) problems. It can be used to prove the validity
(or, dually, the satisfiability) of first-order formulas in a large
number of built-in logical theories and their combination.
.
CVC4 is intended to be an open and extensible SMT engine, and it can
be used as a stand-alone tool or as a library. It is the fourth in
the Cooperating Validity Checker family of tools (also including CVC,
CVC Lite and CVC3). CVC4 has been designed to increase the
performance and reduce the memory overhead of its predecessors.
.
This package contains runtime shared libraries for CVC4's parser.
- libcvc4parser5-dbgsym: No summary available for libcvc4parser5-dbgsym in ubuntu disco.
No description available for libcvc4parser5-
dbgsym in ubuntu disco.