@comment PKG_FORMAT_REVISION:1.1
@name cvc3-1.2.1_1
@comment ORIGIN:math/cvc3
@cwd /usr/local
@pkgdep libgmp-4.2.2
@comment DEPORIGIN:math/libgmp4
@pkgdep perl-5.8.8_1
@comment DEPORIGIN:lang/perl5.8
bin/cvc3
@comment MD5:dc93695b22b0d29d9d5c18821ac3a6c3
include/cvc3/assumptions.h
@comment MD5:f1242ee063a6af5d330bc0a7e71bc5bb
include/cvc3/c_interface.h
@comment MD5:40395e635bdc4d0e70f9176b381c511f
include/cvc3/c_interface_defs.h
@comment MD5:0ef034e179e6936fe3d53d74f80db459
include/cvc3/cdflags.h
@comment MD5:172e4d615b673be650af11fa8048f51e
include/cvc3/cdlist.h
@comment MD5:283649f615d0478bf8c0f605d2e34b74
include/cvc3/cdmap.h
@comment MD5:472a415c70f47ac8192b24930b17c9da
include/cvc3/cdmap_ordered.h
@comment MD5:868f13ef67478b7198a9c288dee9318b
include/cvc3/cdo.h
@comment MD5:10a6112cce2618ff275fde358adce762
include/cvc3/circuit.h
@comment MD5:59dd0429af95a436d47b71be8dec6de7
include/cvc3/clause.h
@comment MD5:7da1f1203d31c6526bea0decb1dfd30f
include/cvc3/cnf.h
@comment MD5:4dc69a53c4d01fa61ce52167905c2fae
include/cvc3/cnf_manager.h
@comment MD5:246e327a1320b2355af4ecbb40b0ef23
include/cvc3/command_line_exception.h
@comment MD5:2ed89036d539c7b2389180ed001345f6
include/cvc3/command_line_flags.h
@comment MD5:df736a2404de2e3c85daac74b651479f
include/cvc3/common_proof_rules.h
@comment MD5:738131fdeb56af5eda35f3623cb7111c
include/cvc3/compat_hash_map.h
@comment MD5:6a19f5e36a46d3e49af89b28e789baec
include/cvc3/compat_hash_set.h
@comment MD5:fbe96906f3f4c64166430973561d4280
include/cvc3/context.h
@comment MD5:ba9e5b8ef983488ddcacbeaedba242b9
include/cvc3/cvc_util.h
@comment MD5:08b379a232d35b8222c53482432e2ed5
include/cvc3/debug.h
@comment MD5:f08478a1317b4b9697f3ba5a268129ab
include/cvc3/dpllt.h
@comment MD5:2b0c3ec5977c62ff9e44d40adb078756
include/cvc3/dpllt_basic.h
@comment MD5:f9c7235817f8111f39cfe68b560598db
include/cvc3/dpllt_minisat.h
@comment MD5:d15319090be177ea3aa9807a2ab0b26c
include/cvc3/eval_exception.h
@comment MD5:f95415b2101d34594374b441296e7b04
include/cvc3/exception.h
@comment MD5:3fe229f312bc83c0d013cc2d10e47843
include/cvc3/expr.h
@comment MD5:223653b17ac70ef507811d8567815f45
include/cvc3/expr_hash.h
@comment MD5:990efd7e4ea5dd04273482618b45918d
include/cvc3/expr_manager.h
@comment MD5:b1bdda1baea810eccdd984549aa15397
include/cvc3/expr_map.h
@comment MD5:aa6f8a37070a1da1df3d448c60b1ae1b
include/cvc3/expr_op.h
@comment MD5:70b2aa0e98e1ee1b4e7e9216b591761b
include/cvc3/expr_stream.h
@comment MD5:e5c1c743d3773f8ee7a5fbeabfcd3a6a
include/cvc3/expr_transform.h
@comment MD5:41575659dea6011f9e1aa1c185af5934
include/cvc3/expr_value.h
@comment MD5:a84f1eee6b1694c2ffc617c5b4bf8e08
include/cvc3/fdstream.h
@comment MD5:c089f7171e8d0fd41169e754ac2c183e
include/cvc3/hash_fun.h
@comment MD5:cd254ce90bb75d84d690bf44294f53dc
include/cvc3/hash_map.h
@comment MD5:04095bc61263f42f253ae49362f81263
include/cvc3/hash_set.h
@comment MD5:a246835c8dd4d8d1aaa0401f183c821b
include/cvc3/hash_table.h
@comment MD5:aa77b4cee3842fcc6bdab54d4291cb16
include/cvc3/kinds.h
@comment MD5:fc9f371339ae7389dc14eaafc812b321
include/cvc3/lang.h
@comment MD5:0b6f1937524aa39cc5e2a6ef80b4142b
include/cvc3/memory_manager.h
@comment MD5:836ffcef05632280b4d27d677076bcea
include/cvc3/memory_manager_chunks.h
@comment MD5:2d044840042db9ee8b29576030c4367e
include/cvc3/memory_manager_context.h
@comment MD5:bfac1528398d9b714e833cc9514f94a5
include/cvc3/memory_manager_malloc.h
@comment MD5:29abb729279229629ef54ef475b84b90
include/cvc3/notifylist.h
@comment MD5:cb0d67a018e2d4f45e8656519a3bb88d
include/cvc3/os.h
@comment MD5:bfc288346048969288a641a0d1fdeada
include/cvc3/parser.h
@comment MD5:677139982d0f700865f150f2b07d92b6
include/cvc3/parser_exception.h
@comment MD5:e6d8127fac9d848c32eea28aa8dca6d1
include/cvc3/pretty_printer.h
@comment MD5:548ebbfd7d450626bbe31e89631e1519
include/cvc3/proof.h
@comment MD5:4d9c4bd9511db31a79f6c6d4adf37f2e
include/cvc3/queryresult.h
@comment MD5:1b8d497b7d65c1550ab6e1b2d605ab0d
include/cvc3/rational.h
@comment MD5:dad6bdd6124ac68d2f9488faeab3d862
include/cvc3/sat_api.h
@comment MD5:488c7a84cb0012726a87d834ac8b2c0b
include/cvc3/search.h
@comment MD5:9a5fde058f86a8c442f9c573d5089192
include/cvc3/search_fast.h
@comment MD5:e2cd42d3143b37f84676b7631eab927f
include/cvc3/search_impl_base.h
@comment MD5:14256a7fafb97eaecd188fde4c42e6dc
include/cvc3/search_sat.h
@comment MD5:acaf3fabd2549ddcc3a1640209a72b5d
include/cvc3/search_simple.h
@comment MD5:0d7cdbae219e99a1c1a0915847d79704
include/cvc3/smartcdo.h
@comment MD5:cb63aaa5d58059db52281f094d714270
include/cvc3/smtlib_exception.h
@comment MD5:1a42e56e61be3bfa1361ba6414b35d07
include/cvc3/sound_exception.h
@comment MD5:d6756b908de2a7ae583a4ccf83cb7b25
include/cvc3/statistics.h
@comment MD5:90becdf6743c6176e688adf9faa579f3
include/cvc3/theorem.h
@comment MD5:72a04e85655399b4b7fbdc826ec5005f
include/cvc3/theorem_manager.h
@comment MD5:66593b7a796f64852cf5499921d00fa7
include/cvc3/theorem_producer.h
@comment MD5:08810aee4aa5b21a2c0ebdf0475ff6ba
include/cvc3/theory.h
@comment MD5:b3cb1bcba4baebc3a367600518b0d614
include/cvc3/theory_arith.h
@comment MD5:020978bfb797bce292ae4193a4a2debc
include/cvc3/theory_arith_new.h
@comment MD5:32d1d0149aa0b92eee27bc50dd034095
include/cvc3/theory_arith_old.h
@comment MD5:2895d387cc0a32e6b5c4dc9d593bc632
include/cvc3/theory_array.h
@comment MD5:2ec0aae0f0784f77132e836eccc20441
include/cvc3/theory_bitvector.h
@comment MD5:fcdcabfbbba948315fd9e82988e66f24
include/cvc3/theory_core.h
@comment MD5:861fd7864c7a1ae4df921ead7cfefd32
include/cvc3/theory_datatype.h
@comment MD5:cfeb4c787df42cadbd983dfceb41b595
include/cvc3/theory_datatype_lazy.h
@comment MD5:f221202c6c366566a41c22f183413f80
include/cvc3/theory_quant.h
@comment MD5:0a76f2802b588f325147050f39433cf8
include/cvc3/theory_records.h
@comment MD5:c668b4b4c22d2bbca60a8fde1be34ac5
include/cvc3/theory_simulate.h
@comment MD5:090fc160b0435583e258c52701e06a60
include/cvc3/theory_uf.h
@comment MD5:79b812b0930808dc3640064fd8fecf2e
include/cvc3/translator.h
@comment MD5:06dcd4688b7b9d34f9d6c2437768d4db
include/cvc3/type.h
@comment MD5:a94bdb47fa83f1b66c66a89a8792b268
include/cvc3/typecheck_exception.h
@comment MD5:d47b2ba528cada873affe5213c841b92
include/cvc3/variable.h
@comment MD5:1c13fbe946be7c9b232db28d4586163e
include/cvc3/vc.h
@comment MD5:77b3da823003b7a78f0e3fbd6346b1f8
include/cvc3/vc_cmd.h
@comment MD5:52ff853a67e28b7128020095b9cbf4a7
include/cvc3/vcl.h
@comment MD5:5b979a95fcae637e52bb27c49325db7a
lib/libcvc3.so
@comment MD5:4966452c2d236f84dc0aab5ad3b320c2
@dirrm include/cvc3
@exec /sbin/ldconfig -m /usr/local/lib
@unexec /sbin/ldconfig -R
@cwd .
@ignore
+COMMENT
@comment MD5:d04ae38a4d4215709c30aae2532301ff
@ignore
+DESC
@comment MD5:ed6631dacae21464cfbac631a211d5c4
@ignore
+MTREE_DIRS
@comment MD5:219b9fb84bdcc9c6d574c11ea5a3efd9
@mtree +MTREE_DIRS
