diff options
| author | Cheng-Lung Sung <clsung@FreeBSD.org> | 2007-03-25 04:04:30 +0000 |
|---|---|---|
| committer | Cheng-Lung Sung <clsung@FreeBSD.org> | 2007-03-25 04:04:30 +0000 |
| commit | 8fdb6ad4aabf8fbcf397640ad243a18645bdbe7d (patch) | |
| tree | f7a85fdc470aa635a16f1f24e39d308875ffbe45 /math/cvc3/pkg-plist | |
| parent | 6801c3cafc8c4968ff96d0bd41ad2876ce7f34f8 (diff) | |
| download | ports-8fdb6ad4aabf8fbcf397640ad243a18645bdbe7d.tar.gz ports-8fdb6ad4aabf8fbcf397640ad243a18645bdbe7d.zip | |
Add cvc3 1.0, an automatic theorem prover for the SMT problem.
PR: ports/110770
Submitted by: Li-Wen Hsu <lwhsu at lwhsu.org>
Notes
Notes:
svn path=/head/; revision=188227
Diffstat (limited to 'math/cvc3/pkg-plist')
| -rw-r--r-- | math/cvc3/pkg-plist | 85 |
1 files changed, 85 insertions, 0 deletions
diff --git a/math/cvc3/pkg-plist b/math/cvc3/pkg-plist new file mode 100644 index 000000000000..460675b1409e --- /dev/null +++ b/math/cvc3/pkg-plist @@ -0,0 +1,85 @@ +bin/cvc3 +include/cvc3/assumptions.h +include/cvc3/c_interface.h +include/cvc3/c_interface_defs.h +include/cvc3/cdflags.h +include/cvc3/cdlist.h +include/cvc3/cdmap.h +include/cvc3/cdmap_ordered.h +include/cvc3/cdo.h +include/cvc3/circuit.h +include/cvc3/clause.h +include/cvc3/cnf.h +include/cvc3/cnf_manager.h +include/cvc3/command_line_exception.h +include/cvc3/command_line_flags.h +include/cvc3/common_proof_rules.h +include/cvc3/compat_hash_map.h +include/cvc3/compat_hash_set.h +include/cvc3/context.h +include/cvc3/cvc_util.h +include/cvc3/debug.h +include/cvc3/dpllt.h +include/cvc3/dpllt_basic.h +include/cvc3/dpllt_minisat.h +include/cvc3/eval_exception.h +include/cvc3/exception.h +include/cvc3/expr.h +include/cvc3/expr_hash.h +include/cvc3/expr_manager.h +include/cvc3/expr_map.h +include/cvc3/expr_op.h +include/cvc3/expr_stream.h +include/cvc3/expr_transform.h +include/cvc3/expr_value.h +include/cvc3/fdstream.h +include/cvc3/hash_fun.h +include/cvc3/hash_map.h +include/cvc3/hash_set.h +include/cvc3/hash_table.h +include/cvc3/kinds.h +include/cvc3/lang.h +include/cvc3/memory_manager.h +include/cvc3/memory_manager_chunks.h +include/cvc3/memory_manager_context.h +include/cvc3/memory_manager_malloc.h +include/cvc3/notifylist.h +include/cvc3/parser.h +include/cvc3/parser_exception.h +include/cvc3/pretty_printer.h +include/cvc3/proof.h +include/cvc3/queryresult.h +include/cvc3/rational.h +include/cvc3/sat_api.h +include/cvc3/search.h +include/cvc3/search_fast.h +include/cvc3/search_impl_base.h +include/cvc3/search_sat.h +include/cvc3/search_simple.h +include/cvc3/smartcdo.h +include/cvc3/smtlib_exception.h +include/cvc3/sound_exception.h +include/cvc3/statistics.h +include/cvc3/theorem.h +include/cvc3/theorem_manager.h +include/cvc3/theorem_producer.h +include/cvc3/theory.h +include/cvc3/theory_arith.h +include/cvc3/theory_array.h +include/cvc3/theory_bitvector.h +include/cvc3/theory_core.h +include/cvc3/theory_datatype.h +include/cvc3/theory_datatype_lazy.h +include/cvc3/theory_quant.h +include/cvc3/theory_records.h +include/cvc3/theory_simulate.h +include/cvc3/theory_uf.h +include/cvc3/translator.h +include/cvc3/type.h +include/cvc3/typecheck_exception.h +include/cvc3/variable.h +include/cvc3/vc.h +include/cvc3/vc_cmd.h +include/cvc3/vcl.h +lib/libcvc3.so +@dirrm include/cvc3 |