معرفی شرکت ها
libcvc3-dev_2.4.1-5.1ubuntu1_amd64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Automatic theorem prover library for SMT problems (development files)
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Bionic-18.04 |
| مخزن | Ubuntu universe amd64 |
| نام بسته | libcvc3-dev |
| نام فایل بسته | libcvc3-dev_2.4.1-5.1ubuntu1_amd64.deb |
| نسخه بسته | 2.4.1 |
| انتشار بسته | 5.1ubuntu1 |
| معماری بسته | amd64 |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://www.cs.nyu.edu/acsys/cvc3/ |
| مجوز | - |
| حجم دانلود | 141862 |
| حجم نصب | 825 |
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 is the last offspring of a series of popular SMT provers, which
originated at Stanford University with the SVC system. In particular,
it builds on the code base of CVC Lite, its most recent
predecessor. Its high level design follows that of the Sammy prover.
.
CVC3 works with a version of first-order logic with polymorphic types
and has a wide variety of features including:
.
* several built-in base theories: rational and integer linear
arithmetic, arrays, tuples, records, inductive data types, bit
vectors, and equality over uninterpreted function symbols;
* support for quantifiers;
* an interactive text-based interface;
* rich C, C++, and Java APIs for embedding in other systems;
* proof and model generation abilities;
* predicate subtyping;
* essentially no limit on its use for research or commercial
purposes (see license).
.
This package contains the files necessary for building applications
that use the CVC3 library.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libcvc3-dev_2.4.1-5.1ubuntu1_i386.deb | 2.4.1 | i386 | Ubuntu universe |
نیازمندی
| مقدار | نام |
|---|---|
| = 2.4.1-5.1ubuntu1 | libcvc3-5v5 |
نحوه نصب
نصب پکیج deb libcvc3-dev:
sudo apt-get install libcvc3-dev_2.4.1-5.1ubuntu1_amd64.deb
فایل ها
| مسیرها |
|---|
| ./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 |
| ... and 44 more |