cvc4-devel-1.4-11.fc25.x86_64.rpm


Advertisement

Description

cvc4-devel - Headers and other files for developing with cvc4

Property Value
Distribution Fedora 25
Repository Fedora x86_64
Package name cvc4-devel
Package version 1.4
Package release 11.fc25
Package architecture x86_64
Package type rpm
Installed size 994.54 KB
Download size 158.62 KB
Official Mirror dl.fedoraproject.org
Header files and library links for developing applications that use cvc4.

Alternatives

Package Version Architecture Repository
cvc4-devel-1.4-11.fc25.i686.rpm 1.4 i686 Fedora
cvc4-devel-1.4-11.fc25.i686.rpm 1.4 i686 Fedora
cvc4-devel - - -

Requires

Name Value
cvc4-libs(x86-64) = 1.4-11.fc25
libcvc4.so.3()(64bit) -
libcvc4parser.so.3()(64bit) -

Provides

Name Value
cvc4-devel = 1.4-11.fc25
cvc4-devel(x86-64) = 1.4-11.fc25
lfsc-devel = 1.4-11.fc25

Obsoletes

Name Value
lfsc-devel < 1.0-1.fc25

Download

Type URL
Binary Package cvc4-devel-1.4-11.fc25.x86_64.rpm
Source Package cvc4-1.4-11.fc25.src.rpm

Install Howto

Install the cvc4-devel rpm package:

# dnf install cvc4-devel

Files

Path
/usr/include/cvc4/cvc4.h
/usr/include/cvc4/cvc4_public.h
/usr/include/cvc4/cvc4parser_public.h
/usr/include/cvc4/bindings/
/usr/include/cvc4/bindings/compat/
/usr/include/cvc4/bindings/compat/c/c_interface.h
/usr/include/cvc4/bindings/compat/c/c_interface_defs.h
/usr/include/cvc4/compat/cvc3_compat.h
/usr/include/cvc4/context/cdhashmap_forward.h
/usr/include/cvc4/context/cdhashset_forward.h
/usr/include/cvc4/context/cdinsert_hashmap_forward.h
/usr/include/cvc4/context/cdlist_forward.h
/usr/include/cvc4/context/cdtrail_hashmap_forward.h
/usr/include/cvc4/decision/options.h
/usr/include/cvc4/expr/command.h
/usr/include/cvc4/expr/expr.h
/usr/include/cvc4/expr/expr_manager.h
/usr/include/cvc4/expr/expr_stream.h
/usr/include/cvc4/expr/kind.h
/usr/include/cvc4/expr/options.h
/usr/include/cvc4/expr/pickler.h
/usr/include/cvc4/expr/symbol_table.h
/usr/include/cvc4/expr/type.h
/usr/include/cvc4/expr/variable_type_map.h
/usr/include/cvc4/lib/clock_gettime.h
/usr/include/cvc4/lib/ffs.h
/usr/include/cvc4/lib/strtok_r.h
/usr/include/cvc4/main/options.h
/usr/include/cvc4/options/base_options.h
/usr/include/cvc4/options/option_exception.h
/usr/include/cvc4/options/options.h
/usr/include/cvc4/parser/input.h
/usr/include/cvc4/parser/options.h
/usr/include/cvc4/parser/parser.h
/usr/include/cvc4/parser/parser_builder.h
/usr/include/cvc4/parser/parser_exception.h
/usr/include/cvc4/printer/modes.h
/usr/include/cvc4/printer/options.h
/usr/include/cvc4/proof/options.h
/usr/include/cvc4/prop/options.h
/usr/include/cvc4/prop/sat_solver_factory.h
/usr/include/cvc4/smt/logic_exception.h
/usr/include/cvc4/smt/modal_exception.h
/usr/include/cvc4/smt/options.h
/usr/include/cvc4/smt/simplification_mode.h
/usr/include/cvc4/smt/smt_engine.h
/usr/include/cvc4/theory/logic_info.h
/usr/include/cvc4/theory/options.h
/usr/include/cvc4/theory/theoryof_mode.h
/usr/include/cvc4/theory/arith/arith_heuristic_pivot_rule.h
/usr/include/cvc4/theory/arith/arith_propagation_mode.h
/usr/include/cvc4/theory/arith/arith_unate_lemma_mode.h
/usr/include/cvc4/theory/arith/options.h
/usr/include/cvc4/theory/arrays/options.h
/usr/include/cvc4/theory/booleans/options.h
/usr/include/cvc4/theory/builtin/options.h
/usr/include/cvc4/theory/bv/options.h
/usr/include/cvc4/theory/datatypes/options.h
/usr/include/cvc4/theory/idl/options.h
/usr/include/cvc4/theory/quantifiers/options.h
/usr/include/cvc4/theory/sets/options.h
/usr/include/cvc4/theory/strings/options.h
/usr/include/cvc4/theory/uf/options.h
/usr/include/cvc4/util/abstract_value.h
/usr/include/cvc4/util/array.h
/usr/include/cvc4/util/array_store_all.h
/usr/include/cvc4/util/ascription_type.h
/usr/include/cvc4/util/bitvector.h
/usr/include/cvc4/util/bool.h
/usr/include/cvc4/util/cardinality.h
/usr/include/cvc4/util/chain.h
/usr/include/cvc4/util/channel.h
/usr/include/cvc4/util/configuration.h
/usr/include/cvc4/util/datatype.h
/usr/include/cvc4/util/divisible.h
/usr/include/cvc4/util/emptyset.h
/usr/include/cvc4/util/exception.h
/usr/include/cvc4/util/gmp_util.h
/usr/include/cvc4/util/hash.h
/usr/include/cvc4/util/integer.h
/usr/include/cvc4/util/integer_cln_imp.h
/usr/include/cvc4/util/integer_gmp_imp.h
/usr/include/cvc4/util/language.h
/usr/include/cvc4/util/lemma_input_channel.h
/usr/include/cvc4/util/lemma_output_channel.h
/usr/include/cvc4/util/predicate.h
/usr/include/cvc4/util/proof.h
/usr/include/cvc4/util/rational.h
/usr/include/cvc4/util/rational_cln_imp.h
/usr/include/cvc4/util/rational_gmp_imp.h
/usr/include/cvc4/util/record.h
/usr/include/cvc4/util/regexp.h
/usr/include/cvc4/util/result.h
/usr/include/cvc4/util/sexpr.h
/usr/include/cvc4/util/statistics.h
/usr/include/cvc4/util/subrange_bound.h
/usr/include/cvc4/util/tls.h
/usr/include/cvc4/util/tuple.h
/usr/include/cvc4/util/uninterpreted_constant.h
/usr/lib64/libcvc4.so
/usr/lib64/libcvc4parser.so
/usr/share/man/man3/SmtEngine.3cvc.gz
/usr/share/man/man3/libcvc4.3.gz
/usr/share/man/man3/libcvc4compat.3.gz
/usr/share/man/man3/libcvc4parser.3.gz
/usr/share/man/man3/options.3cvc.gz

Changelog

See cvc4-1.4-11.fc25.x86_64.rpm changelog.

See Also

Package Description
cvc4-doc-1.4-11.fc25.x86_64.rpm Interface documentation for cvc4
cvc4-java-1.4-11.fc25.i686.rpm Java interface to cvc4
cvc4-java-1.4-11.fc25.x86_64.rpm Java interface to cvc4
cvc4-libs-1.4-11.fc25.i686.rpm Library containing an automatic theorem prover for SMT problems
cvc4-libs-1.4-11.fc25.x86_64.rpm Library containing an automatic theorem prover for SMT problems
cvs-1.11.23-40.fc24.x86_64.rpm Concurrent Versions System
cvs-contrib-1.11.23-40.fc24.noarch.rpm Unsupported contributions collected by CVS developers
cvs-doc-1.11.23-40.fc24.noarch.rpm Additional documentation for Concurrent Versions System
cvs-inetd-1.11.23-40.fc24.noarch.rpm CVS server configuration for xinetd
cvs2cl-2.73-11.fc24.noarch.rpm Generate ChangeLogs from CVS working copies
cvsgraph-1.6.1-18.fc24.x86_64.rpm CVS/RCS repository grapher
cvsplot-1.7.4-16.fc24.noarch.rpm Collect statistics from CVS controlled files
cvsps-2.2-0.17.b1.fc24.x86_64.rpm Patchset tool for CVS
cvsutils-0.2.6-3.fc24.noarch.rpm CVS Utilities
cvsweb-3.0.6-18.fc24.noarch.rpm Web interface for CVS repositories
Advertisement
Advertisement