pomiń nawigację

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

/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/s390x-linux-gnu/libcvc5.so
/usr/lib/s390x-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.gz
/usr/share/doc/libcvc5-dev/changelog.Debian.s390x.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