549b27dafd
ChangeLog: https://github.com/CVC4/CVC4/releases/tag/1.7 * New Features: Proofs: Support for bit-vector proofs with eager bitblasting Strings: Support for str.replaceall operator. New option --re-elim SyGuS: Support for abduction (--sygus-abduct) * Improvements: Strings: Significantly better performance * Changes: API change: Expr::iffExpr() is renamed to Expr::eqExpr() Compiling the language bindings now requires SWIG 3 instead of SWIG 2. The CVC3 compatibility layer has been removed. The build system now uses CMake instead of Autotools
112 lines
3.4 KiB
Plaintext
112 lines
3.4 KiB
Plaintext
bin/cvc4
|
|
%%GMP%%bin/pcvc4
|
|
include/cvc4/api/cvc4cpp.h
|
|
include/cvc4/api/cvc4cppkind.h
|
|
include/cvc4/base/configuration.h
|
|
include/cvc4/base/exception.h
|
|
include/cvc4/base/listener.h
|
|
include/cvc4/base/modal_exception.h
|
|
include/cvc4/context/cdhashmap_forward.h
|
|
include/cvc4/context/cdhashset_forward.h
|
|
include/cvc4/context/cdinsert_hashmap_forward.h
|
|
include/cvc4/context/cdlist_forward.h
|
|
include/cvc4/cvc4.h
|
|
include/cvc4/cvc4_public.h
|
|
include/cvc4/cvc4parser_public.h
|
|
include/cvc4/expr/array.h
|
|
include/cvc4/expr/array_store_all.h
|
|
include/cvc4/expr/ascription_type.h
|
|
include/cvc4/expr/chain.h
|
|
include/cvc4/expr/datatype.h
|
|
include/cvc4/expr/emptyset.h
|
|
include/cvc4/expr/expr.h
|
|
include/cvc4/expr/expr_iomanip.h
|
|
include/cvc4/expr/expr_manager.h
|
|
include/cvc4/expr/expr_stream.h
|
|
include/cvc4/expr/kind.h
|
|
include/cvc4/expr/pickler.h
|
|
include/cvc4/expr/record.h
|
|
include/cvc4/expr/symbol_table.h
|
|
include/cvc4/expr/type.h
|
|
include/cvc4/expr/uninterpreted_constant.h
|
|
include/cvc4/expr/variable_type_map.h
|
|
include/cvc4/options/argument_extender.h
|
|
include/cvc4/options/arith_heuristic_pivot_rule.h
|
|
include/cvc4/options/arith_propagation_mode.h
|
|
include/cvc4/options/arith_unate_lemma_mode.h
|
|
include/cvc4/options/datatypes_modes.h
|
|
include/cvc4/options/language.h
|
|
include/cvc4/options/option_exception.h
|
|
include/cvc4/options/options.h
|
|
include/cvc4/options/printer_modes.h
|
|
include/cvc4/options/quantifiers_modes.h
|
|
include/cvc4/options/set_language.h
|
|
include/cvc4/options/smt_modes.h
|
|
include/cvc4/options/sygus_out_mode.h
|
|
include/cvc4/options/theoryof_mode.h
|
|
include/cvc4/parser/input.h
|
|
include/cvc4/parser/parser.h
|
|
include/cvc4/parser/parser_builder.h
|
|
include/cvc4/parser/parser_exception.h
|
|
include/cvc4/printer/sygus_print_callback.h
|
|
include/cvc4/proof/unsat_core.h
|
|
include/cvc4/smt/command.h
|
|
include/cvc4/smt/logic_exception.h
|
|
include/cvc4/smt/smt_engine.h
|
|
include/cvc4/smt_util/lemma_channels.h
|
|
include/cvc4/smt_util/lemma_input_channel.h
|
|
include/cvc4/smt_util/lemma_output_channel.h
|
|
include/cvc4/theory/logic_info.h
|
|
include/cvc4/util/abstract_value.h
|
|
include/cvc4/util/bitvector.h
|
|
include/cvc4/util/bool.h
|
|
include/cvc4/util/cardinality.h
|
|
include/cvc4/util/channel.h
|
|
include/cvc4/util/divisible.h
|
|
include/cvc4/util/floatingpoint.h
|
|
include/cvc4/util/gmp_util.h
|
|
include/cvc4/util/hash.h
|
|
include/cvc4/util/integer.h
|
|
include/cvc4/util/integer_cln_imp.h
|
|
include/cvc4/util/integer_gmp_imp.h
|
|
include/cvc4/util/maybe.h
|
|
include/cvc4/util/proof.h
|
|
include/cvc4/util/rational.h
|
|
include/cvc4/util/rational_cln_imp.h
|
|
include/cvc4/util/rational_gmp_imp.h
|
|
include/cvc4/util/regexp.h
|
|
include/cvc4/util/resource_manager.h
|
|
include/cvc4/util/result.h
|
|
include/cvc4/util/sexpr.h
|
|
include/cvc4/util/statistics.h
|
|
include/cvc4/util/tuple.h
|
|
include/cvc4/util/unsafe_interrupt_exception.h
|
|
lib/libcvc4.so
|
|
lib/libcvc4.so.6
|
|
%%JAVA%%lib/libcvc4jni.so
|
|
lib/libcvc4parser.so
|
|
lib/libcvc4parser.so.6
|
|
%%PYTHON%%%%PYTHON_SITELIBDIR%%/CVC4.py
|
|
%%PYTHON%%%%PYTHON_SITELIBDIR%%/_CVC4.so
|
|
%%DATADIR%%/drat.plf
|
|
%%DATADIR%%/er.plf
|
|
%%DATADIR%%/lrat.plf
|
|
%%DATADIR%%/sat.plf
|
|
%%DATADIR%%/smt.plf
|
|
%%DATADIR%%/th_arrays.plf
|
|
%%DATADIR%%/th_base.plf
|
|
%%DATADIR%%/th_bv.plf
|
|
%%DATADIR%%/th_bv_bitblast.plf
|
|
%%DATADIR%%/th_bv_rewrites.plf
|
|
%%DATADIR%%/th_int.plf
|
|
%%DATADIR%%/th_real.plf
|
|
%%JAVA%%%%JAVASHAREDIR%%/cvc4/CVC4-1.7.0.jar
|
|
%%JAVA%%%%JAVASHAREDIR%%/cvc4/CVC4.jar
|
|
man/man1/cvc4.1.gz
|
|
%%GMP%%man/man1/pcvc4.1.gz
|
|
man/man3/SmtEngine.3cvc.gz
|
|
man/man3/libcvc4.3.gz
|
|
man/man3/libcvc4parser.3.gz
|
|
man/man3/options.3cvc.gz
|
|
man/man5/cvc4.5.gz
|