Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

libcvc3_5-devel-2.4.1-0 RPM for i586

From Mandriva devel cooker for i586 / media / contrib / release

Name: libcvc3_5-devel Distribution: Mandriva Linux
Version: 2.4.1 Vendor: Mandriva
Release: 0 Build date: Tue Nov 1 13:34:35 2011
Group: Sciences/Computer science Build host: n2.mandriva.com
Size: 771988 Source RPM: cvc3-2.4.1-0.src.rpm
Packager: Pavel Shved <pavel.shved@rosalab.ru>
Url: http://cs.nyu.edu/acsys/cvc3/index.html
Summary: Library and includes to use automatic SMT theorem proving
CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT)
problems. It can be used to prove the validity (or, dually, the satisfiability)
of first-order formulas in a large number of built-in logical theories and
their combination.

CVC3 contains built-in support for theories for rational and integer linear
arithmetic, arrays, tuples, records, inductive data types, bit vectors, and
equality over uninterpreted function symbols.  CVC3 also supports quantifiers.

This is a development package for CVC3 shared library.

Provides

Requires

License

BSD

Changelog

* Tue Nov 01 2011 Pavel Shved <pavel.shved@rosalab.ru> 2.4.1-0mdv2012.0
  + Revision: 709267
  - Add missing bison and flex build requires
  - Add missing summaries
  - Initial import of CVC3 prover 2.4.1

Files

/usr/include/cvc3/assumptions.h
/usr/include/cvc3/c_interface.h
/usr/include/cvc3/c_interface_defs.h
/usr/include/cvc3/cdflags.h
/usr/include/cvc3/cdlist.h
/usr/include/cvc3/cdmap.h
/usr/include/cvc3/cdmap_ordered.h
/usr/include/cvc3/cdo.h
/usr/include/cvc3/circuit.h
/usr/include/cvc3/clause.h
/usr/include/cvc3/cnf.h
/usr/include/cvc3/cnf_manager.h
/usr/include/cvc3/command_line_exception.h
/usr/include/cvc3/command_line_flags.h
/usr/include/cvc3/common_proof_rules.h
/usr/include/cvc3/compat_hash_map.h
/usr/include/cvc3/compat_hash_set.h
/usr/include/cvc3/context.h
/usr/include/cvc3/cvc_util.h
/usr/include/cvc3/debug.h
/usr/include/cvc3/dpllt.h
/usr/include/cvc3/dpllt_basic.h
/usr/include/cvc3/dpllt_minisat.h
/usr/include/cvc3/eval_exception.h
/usr/include/cvc3/exception.h
/usr/include/cvc3/expr.h
/usr/include/cvc3/expr_hash.h
/usr/include/cvc3/expr_manager.h
/usr/include/cvc3/expr_map.h
/usr/include/cvc3/expr_op.h
/usr/include/cvc3/expr_stream.h
/usr/include/cvc3/expr_transform.h
/usr/include/cvc3/expr_value.h
/usr/include/cvc3/fdstream.h
/usr/include/cvc3/formula_value.h
/usr/include/cvc3/hash_fun.h
/usr/include/cvc3/hash_map.h
/usr/include/cvc3/hash_set.h
/usr/include/cvc3/hash_table.h
/usr/include/cvc3/kinds.h
/usr/include/cvc3/lang.h
/usr/include/cvc3/memory_manager.h
/usr/include/cvc3/memory_manager_chunks.h
/usr/include/cvc3/memory_manager_context.h
/usr/include/cvc3/memory_manager_malloc.h
/usr/include/cvc3/notifylist.h
/usr/include/cvc3/os.h
/usr/include/cvc3/parser.h
/usr/include/cvc3/parser_exception.h
/usr/include/cvc3/pretty_printer.h
/usr/include/cvc3/proof.h
/usr/include/cvc3/queryresult.h
/usr/include/cvc3/rational.h
/usr/include/cvc3/sat_api.h
/usr/include/cvc3/search.h
/usr/include/cvc3/search_fast.h
/usr/include/cvc3/search_impl_base.h
/usr/include/cvc3/search_sat.h
/usr/include/cvc3/search_simple.h
/usr/include/cvc3/smartcdo.h
/usr/include/cvc3/smtlib_exception.h
/usr/include/cvc3/sound_exception.h
/usr/include/cvc3/statistics.h
/usr/include/cvc3/theorem.h
/usr/include/cvc3/theorem_manager.h
/usr/include/cvc3/theorem_producer.h
/usr/include/cvc3/theory.h
/usr/include/cvc3/theory_arith.h
/usr/include/cvc3/theory_arith3.h
/usr/include/cvc3/theory_arith_new.h
/usr/include/cvc3/theory_arith_old.h
/usr/include/cvc3/theory_array.h
/usr/include/cvc3/theory_bitvector.h
/usr/include/cvc3/theory_core.h
/usr/include/cvc3/theory_datatype.h
/usr/include/cvc3/theory_datatype_lazy.h
/usr/include/cvc3/theory_quant.h
/usr/include/cvc3/theory_records.h
/usr/include/cvc3/theory_simulate.h
/usr/include/cvc3/theory_uf.h
/usr/include/cvc3/translator.h
/usr/include/cvc3/type.h
/usr/include/cvc3/typecheck_exception.h
/usr/include/cvc3/variable.h
/usr/include/cvc3/vc.h
/usr/include/cvc3/vc_cmd.h
/usr/include/cvc3/vcl.h
/usr/lib/libcvc3.so


Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Aug 11 03:50:10 2018