cvc4 1.6-2build2 source package in Ubuntu
Changelog
cvc4 (1.6-2build2) focal; urgency=medium * No change rebuild against new boost1.71 ABI -- Dimitri John Ledkov <email address hidden> Mon, 03 Feb 2020 20:12:28 +0000
Upload details
- Uploaded by:
- Dimitri John Ledkov
- Uploaded to:
- Focal
- Original maintainer:
- Ubuntu Developers
- 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 | |
|---|---|---|---|---|
| Focal | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| cvc4_1.6.orig.tar.gz | 7.5 MiB | 5c18bd5ea893fba9723a4d35c889d412ec6d29a21db9db69481891a8ff4887c7 |
| cvc4_1.6-2build2.debian.tar.xz | 8.2 KiB | c365ed4dc43453c9d147672862cedc44192a7b7570f442c68217f449c405518f |
| cvc4_1.6-2build2.dsc | 2.7 KiB | 7d74b8a6b6dbd43e7ed322a32e65a91fb990adf17fac4b107d3543f4d31128fb |
Available diffs
- diff from 1.6-2build1 to 1.6-2build2 (513 bytes)
Binary packages built by this source
- cvc4: automated theorem prover for SMT problems
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 binaries needed to use CVC4 as a stand-alone
tool.
- cvc4-dbgsym: No summary available for cvc4-dbgsym in ubuntu groovy.
No description available for cvc4-dbgsym in ubuntu groovy.
- libcvc4-5: No summary available for libcvc4-5 in ubuntu groovy.
No description available for libcvc4-5 in ubuntu groovy.
- libcvc4-5-dbgsym: debug symbols for libcvc4-5
- libcvc4-dev: No summary available for libcvc4-dev in ubuntu groovy.
No description available for libcvc4-dev in ubuntu groovy.
- 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 groovy.
No description available for libcvc4parser5-
dbgsym in ubuntu groovy.
