Package - libcvc5-dev

Package:  libcvc5-dev
apt-get install libcvc5-dev
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/cvc5/libcvc5-dev_1.1.2-2+b3_amd64.deb (Size: 91.1KiB)

PropertyValue
Packagelibcvc5-dev
Sourcecvc5 (1.1.2-2)
Version1.1.2-2+b3
Installed-Size687
MaintainerDebian Science Maintainers
Architectureamd64
Dependslibcvc5-1 (= 1.1.2-2+b3), libcvc5parser1 (= 1.1.2-2+b3), libgmp-dev
Descriptionautomated theorem prover for SMT problems (development files)
Description-md50b8dea11ab5594daed4bb6d77d3985a6
Multi-Archsame
Homepagehttps://cvc5.github.io/
Tagdevel::library, role::devel-lib
Sectionlibdevel
Priorityoptional
Filenamepool/main/c/cvc5/libcvc5-dev_1.1.2-2+b3_amd64.deb
Size93296
MD5sumcf8e3c80fc148731c6f02b60b1a3a9be
SHA2564b8309bfd719d6d32db324715d688a7b5cd4dcfadc49c9470a374174c3ce0458

Files in package

  • /usr/include/cvc5/c/cvc5.h
  • /usr/include/cvc5/cvc5.h
  • /usr/include/cvc5/cvc5_export.h
  • /usr/include/cvc5/cvc5_kind.h
  • /usr/include/cvc5/cvc5_parser.h
  • /usr/include/cvc5/cvc5_proof_rule.h
  • /usr/include/cvc5/cvc5_types.h
  • /usr/lib/x86_64-linux-gnu/libcvc5.so
  • /usr/lib/x86_64-linux-gnu/libcvc5parser.so
  • /usr/share/doc/libcvc5-dev/AUTHORS
  • /usr/share/doc/libcvc5-dev/NEWS.md.gz
  • /usr/share/doc/libcvc5-dev/THANKS
  • /usr/share/doc/libcvc5-dev/changelog.Debian.amd64.gz
  • /usr/share/doc/libcvc5-dev/changelog.Debian.gz
  • /usr/share/doc/libcvc5-dev/copyright
  • /usr/share/doc/libcvc5-dev/examples/CMakeLists.txt
  • /usr/share/doc/libcvc5-dev/examples/bags.cpp
  • /usr/share/doc/libcvc5-dev/examples/bitvectors.cpp
  • /usr/share/doc/libcvc5-dev/examples/bitvectors_and_arrays.cpp
  • /usr/share/doc/libcvc5-dev/examples/combination.cpp
  • /usr/share/doc/libcvc5-dev/examples/datatypes.cpp
  • /usr/share/doc/libcvc5-dev/examples/extract.cpp
  • /usr/share/doc/libcvc5-dev/examples/finite_field.cpp
  • /usr/share/doc/libcvc5-dev/examples/floating_point_arith.cpp
  • /usr/share/doc/libcvc5-dev/examples/helloworld.cpp
  • /usr/share/doc/libcvc5-dev/examples/linear_arith.cpp
  • /usr/share/doc/libcvc5-dev/examples/parser.cpp
  • /usr/share/doc/libcvc5-dev/examples/parser_sym_manager.cpp
  • /usr/share/doc/libcvc5-dev/examples/quickstart.cpp
  • /usr/share/doc/libcvc5-dev/examples/relations.cpp
  • /usr/share/doc/libcvc5-dev/examples/sequences.cpp
  • /usr/share/doc/libcvc5-dev/examples/sets.cpp
  • /usr/share/doc/libcvc5-dev/examples/strings.cpp
  • /usr/share/doc/libcvc5-dev/examples/sygus-fun.cpp
  • /usr/share/doc/libcvc5-dev/examples/sygus-inv.cpp
  • /usr/share/doc/libcvc5-dev/examples/transcendentals.cpp
  • /usr/share/doc/libcvc5-dev/examples/utils.cpp
  • /usr/share/doc/libcvc5-dev/examples/utils.h