cvc4-devel-1.6-2.fc29.i686.rpm


Advertisement

Description

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

Property Value
Distribution Fedora 29
Repository Fedora i386
Package filename cvc4-devel-1.6-2.fc29.i686.rpm
Package name cvc4-devel
Package version 1.6
Package release 2.fc29
Package architecture i686
Package type rpm
Homepage http://cvc4.cs.stanford.edu/
License Boost and BSD and MIT
Maintainer -
Download size 163.07 KB
Installed size 625.10 KB
Header files and library links for developing applications that use cvc4.

Alternatives

Package Version Architecture Repository
cvc4-devel-1.6-2.fc29.x86_64.rpm 1.6 x86_64 Fedora
cvc4-devel-1.6-2.fc29.i686.rpm 1.6 i686 Fedora
cvc4-devel - - -

Requires

Name Value
cvc4-libs(x86-32) = 1.6-2.fc29
libcvc4.so.5 -
libcvc4parser.so.5 -

Provides

Name Value
cvc4-devel = 1.6-2.fc29
cvc4-devel(x86-32) = 1.6-2.fc29

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package cvc4-devel-1.6-2.fc29.i686.rpm
Source Package cvc4-1.6-2.fc29.src.rpm

Install Howto

Install 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/base/configuration.h
/usr/include/cvc4/base/exception.h
/usr/include/cvc4/base/listener.h
/usr/include/cvc4/base/modal_exception.h
/usr/include/cvc4/base/tls.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/expr/array.h
/usr/include/cvc4/expr/array_store_all.h
/usr/include/cvc4/expr/ascription_type.h
/usr/include/cvc4/expr/chain.h
/usr/include/cvc4/expr/datatype.h
/usr/include/cvc4/expr/emptyset.h
/usr/include/cvc4/expr/expr.h
/usr/include/cvc4/expr/expr_iomanip.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/pickler.h
/usr/include/cvc4/expr/record.h
/usr/include/cvc4/expr/symbol_table.h
/usr/include/cvc4/expr/type.h
/usr/include/cvc4/expr/uninterpreted_constant.h
/usr/include/cvc4/expr/variable_type_map.h
/usr/include/cvc4/options/argument_extender.h
/usr/include/cvc4/options/arith_heuristic_pivot_rule.h
/usr/include/cvc4/options/arith_propagation_mode.h
/usr/include/cvc4/options/arith_unate_lemma_mode.h
/usr/include/cvc4/options/datatypes_modes.h
/usr/include/cvc4/options/language.h
/usr/include/cvc4/options/option_exception.h
/usr/include/cvc4/options/options.h
/usr/include/cvc4/options/printer_modes.h
/usr/include/cvc4/options/quantifiers_modes.h
/usr/include/cvc4/options/set_language.h
/usr/include/cvc4/options/simplification_mode.h
/usr/include/cvc4/options/sygus_out_mode.h
/usr/include/cvc4/options/theoryof_mode.h
/usr/include/cvc4/parser/input.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/sygus_print_callback.h
/usr/include/cvc4/proof/unsat_core.h
/usr/include/cvc4/smt/command.h
/usr/include/cvc4/smt/logic_exception.h
/usr/include/cvc4/smt/smt_engine.h
/usr/include/cvc4/smt_util/lemma_channels.h
/usr/include/cvc4/smt_util/lemma_input_channel.h
/usr/include/cvc4/smt_util/lemma_output_channel.h
/usr/include/cvc4/theory/logic_info.h
/usr/include/cvc4/util/abstract_value.h
/usr/include/cvc4/util/bitvector.h
/usr/include/cvc4/util/bool.h
/usr/include/cvc4/util/cardinality.h
/usr/include/cvc4/util/channel.h
/usr/include/cvc4/util/divisible.h
/usr/include/cvc4/util/floatingpoint.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/maybe.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/regexp.h
/usr/include/cvc4/util/resource_manager.h
/usr/include/cvc4/util/result.h
/usr/include/cvc4/util/sexpr.h
/usr/include/cvc4/util/statistics.h
/usr/include/cvc4/util/tuple.h
/usr/include/cvc4/util/unsafe_interrupt_exception.h
/usr/lib/libcvc4.so
/usr/lib/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

2018-07-12 - Fedora Release Engineering <releng@fedoraproject.org> - 1.6-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-10 - Jerry James <loganjerry@gmail.com> - 1.6-1
- New upstream release
2018-02-07 - Fedora Release Engineering <releng@fedoraproject.org> - 1.5-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2018-02-01 - Jerry James <loganjerry@gmail.com> - 1.5-5
- Fix FTBFS with automake 1.5.1 (bz 1482152)
2017-08-02 - Fedora Release Engineering <releng@fedoraproject.org> - 1.5-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-26 - Fedora Release Engineering <releng@fedoraproject.org> - 1.5-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-07-21 - Kalev Lember <klember@redhat.com> - 1.5-2
- Rebuilt for Boost 1.64
2017-07-15 - Jerry James <loganjerry@gmail.com> - 1.5-1
- New upstream release
- Drop upstreamed patches: -signed, -boolean, -minisat
- Add -constant patch to fix undefined symbols in the JNI shared object
- Add cryptominisat4 support
2017-05-15 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4-15
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_27_Mass_Rebuild
2017-03-03 - Jerry James <loganjerry@gmail.com> - 1.4-14
- Fix FTBFS (bz 1427891)

See Also

Package Description
cvc4-doc-1.6-2.fc29.i686.rpm Interface documentation for cvc4
cvc4-java-1.6-2.fc29.i686.rpm Java interface to cvc4
cvc4-libs-1.6-2.fc29.i686.rpm Library containing an automatic theorem prover for SMT problems
cvechecker-3.8-5.fc29.i686.rpm Tool for compare packages installed in your system with CVE database
cvs-1.11.23-49.fc29.i686.rpm Concurrent Versions System
cvs-contrib-1.11.23-49.fc29.noarch.rpm Unsupported contributions collected by CVS developers
cvs-doc-1.11.23-49.fc29.noarch.rpm Additional documentation for Concurrent Versions System
cvs-inetd-1.11.23-49.fc29.noarch.rpm CVS server configuration for xinetd
cvs2cl-2.73-16.fc29.noarch.rpm Generate ChangeLogs from CVS working copies
cvsgraph-1.6.1-24.fc29.i686.rpm CVS/RCS repository grapher
cvsplot-1.7.4-20.fc29.noarch.rpm Collect statistics from CVS controlled files
cvsps-2.2-0.23.b1.fc29.i686.rpm Patchset tool for CVS
cvsutils-0.2.6-7.fc29.noarch.rpm CVS Utilities
cvsweb-3.0.6-22.fc29.noarch.rpm Web interface for CVS repositories
cwdaemon-0.10.2-6.fc29.i686.rpm Morse daemon for the parallel or serial port
Advertisement
Advertisement