drwxr-xr-x | 4096 | root |
root |
/usr/include/cvc3
|
-rw-r--r-- | 5789 | root |
root |
/usr/include/cvc3/assumptions.h
|
-rw-r--r-- | 24797 | root |
root |
/usr/include/cvc3/c_interface.h
|
-rw-r--r-- | 1278 | root |
root |
/usr/include/cvc3/c_interface_defs.h
|
-rw-r--r-- | 2197 | root |
root |
/usr/include/cvc3/cdflags.h
|
-rw-r--r-- | 3503 | root |
root |
/usr/include/cvc3/cdlist.h
|
-rw-r--r-- | 10784 | root |
root |
/usr/include/cvc3/cdmap.h
|
-rw-r--r-- | 10471 | root |
root |
/usr/include/cvc3/cdmap_ordered.h
|
-rw-r--r-- | 2356 | root |
root |
/usr/include/cvc3/cdo.h
|
-rw-r--r-- | 876 | root |
root |
/usr/include/cvc3/circuit.h
|
-rw-r--r-- | 10209 | root |
root |
/usr/include/cvc3/clause.h
|
-rw-r--r-- | 6022 | root |
root |
/usr/include/cvc3/cnf.h
|
-rw-r--r-- | 8498 | root |
root |
/usr/include/cvc3/cnf_manager.h
|
-rw-r--r-- | 1157 | root |
root |
/usr/include/cvc3/command_line_exception.h
|
-rw-r--r-- | 10302 | root |
root |
/usr/include/cvc3/command_line_flags.h
|
-rw-r--r-- | 12556 | root |
root |
/usr/include/cvc3/common_proof_rules.h
|
-rw-r--r-- | 1157 | root |
root |
/usr/include/cvc3/compat_hash_map.h
|
-rw-r--r-- | 1174 | root |
root |
/usr/include/cvc3/compat_hash_set.h
|
-rw-r--r-- | 13893 | root |
root |
/usr/include/cvc3/context.h
|
-rw-r--r-- | 6524 | root |
root |
/usr/include/cvc3/cvc_util.h
|
-rw-r--r-- | 15760 | root |
root |
/usr/include/cvc3/debug.h
|
-rw-r--r-- | 6781 | root |
root |
/usr/include/cvc3/dpllt.h
|
-rw-r--r-- | 2534 | root |
root |
/usr/include/cvc3/dpllt_basic.h
|
-rw-r--r-- | 3166 | root |
root |
/usr/include/cvc3/dpllt_minisat.h
|
-rw-r--r-- | 1394 | root |
root |
/usr/include/cvc3/eval_exception.h
|
-rw-r--r-- | 1744 | root |
root |
/usr/include/cvc3/exception.h
|
-rw-r--r-- | 51105 | root |
root |
/usr/include/cvc3/expr.h
|
-rw-r--r-- | 1174 | root |
root |
/usr/include/cvc3/expr_hash.h
|
-rw-r--r-- | 20433 | root |
root |
/usr/include/cvc3/expr_manager.h
|
-rw-r--r-- | 12283 | root |
root |
/usr/include/cvc3/expr_map.h
|
-rw-r--r-- | 3329 | root |
root |
/usr/include/cvc3/expr_op.h
|
-rw-r--r-- | 11776 | root |
root |
/usr/include/cvc3/expr_stream.h
|
-rw-r--r-- | 7781 | root |
root |
/usr/include/cvc3/expr_transform.h
|
-rw-r--r-- | 29503 | root |
root |
/usr/include/cvc3/expr_value.h
|
-rw-r--r-- | 4790 | root |
root |
/usr/include/cvc3/fdstream.h
|
-rw-r--r-- | 990 | root |
root |
/usr/include/cvc3/formula_value.h
|
-rw-r--r-- | 3338 | root |
root |
/usr/include/cvc3/hash_fun.h
|
-rw-r--r-- | 7344 | root |
root |
/usr/include/cvc3/hash_map.h
|
-rw-r--r-- | 6379 | root |
root |
/usr/include/cvc3/hash_set.h
|
-rw-r--r-- | 22158 | root |
root |
/usr/include/cvc3/hash_table.h
|
-rw-r--r-- | 6990 | root |
root |
/usr/include/cvc3/kinds.h
|
-rw-r--r-- | 1748 | root |
root |
/usr/include/cvc3/lang.h
|
-rw-r--r-- | 1535 | root |
root |
/usr/include/cvc3/memory_manager.h
|
-rw-r--r-- | 3114 | root |
root |
/usr/include/cvc3/memory_manager_chunks.h
|
-rw-r--r-- | 4914 | root |
root |
/usr/include/cvc3/memory_manager_context.h
|
-rw-r--r-- | 1514 | root |
root |
/usr/include/cvc3/memory_manager_malloc.h
|
-rw-r--r-- | 1144 | root |
root |
/usr/include/cvc3/notifylist.h
|
-rw-r--r-- | 2001 | root |
root |
/usr/include/cvc3/os.h
|
-rw-r--r-- | 2452 | root |
root |
/usr/include/cvc3/parser.h
|
-rw-r--r-- | 1178 | root |
root |
/usr/include/cvc3/parser_exception.h
|
-rw-r--r-- | 1156 | root |
root |
/usr/include/cvc3/pretty_printer.h
|
-rw-r--r-- | 1911 | root |
root |
/usr/include/cvc3/proof.h
|
-rw-r--r-- | 1108 | root |
root |
/usr/include/cvc3/queryresult.h
|
-rw-r--r-- | 7169 | root |
root |
/usr/include/cvc3/rational.h
|
-rw-r--r-- | 11396 | root |
root |
/usr/include/cvc3/sat_api.h
|
-rw-r--r-- | 6887 | root |
root |
/usr/include/cvc3/search.h
|
-rw-r--r-- | 16406 | root |
root |
/usr/include/cvc3/search_fast.h
|
-rw-r--r-- | 11066 | root |
root |
/usr/include/cvc3/search_impl_base.h
|
-rw-r--r-- | 11004 | root |
root |
/usr/include/cvc3/search_sat.h
|
-rw-r--r-- | 2032 | root |
root |
/usr/include/cvc3/search_simple.h
|
-rw-r--r-- | 4069 | root |
root |
/usr/include/cvc3/smartcdo.h
|
-rw-r--r-- | 1211 | root |
root |
/usr/include/cvc3/smtlib_exception.h
|
-rw-r--r-- | 1213 | root |
root |
/usr/include/cvc3/sound_exception.h
|
-rw-r--r-- | 6272 | root |
root |
/usr/include/cvc3/statistics.h
|
-rw-r--r-- | 15292 | root |
root |
/usr/include/cvc3/theorem.h
|
-rw-r--r-- | 3714 | root |
root |
/usr/include/cvc3/theorem_manager.h
|
-rw-r--r-- | 8362 | root |
root |
/usr/include/cvc3/theorem_producer.h
|
-rw-r--r-- | 28584 | root |
root |
/usr/include/cvc3/theory.h
|
-rw-r--r-- | 8523 | root |
root |
/usr/include/cvc3/theory_arith.h
|
-rw-r--r-- | 12530 | root |
root |
/usr/include/cvc3/theory_arith3.h
|
-rw-r--r-- | 36258 | root |
root |
/usr/include/cvc3/theory_arith_new.h
|
-rw-r--r-- | 32149 | root |
root |
/usr/include/cvc3/theory_arith_old.h
|
-rw-r--r-- | 3811 | root |
root |
/usr/include/cvc3/theory_array.h
|
-rw-r--r-- | 13468 | root |
root |
/usr/include/cvc3/theory_bitvector.h
|
-rw-r--r-- | 17937 | root |
root |
/usr/include/cvc3/theory_core.h
|
-rw-r--r-- | 5009 | root |
root |
/usr/include/cvc3/theory_datatype.h
|
-rw-r--r-- | 1876 | root |
root |
/usr/include/cvc3/theory_datatype_lazy.h
|
-rw-r--r-- | 23666 | root |
root |
/usr/include/cvc3/theory_quant.h
|
-rw-r--r-- | 5877 | root |
root |
/usr/include/cvc3/theory_records.h
|
-rw-r--r-- | 1878 | root |
root |
/usr/include/cvc3/theory_simulate.h
|
-rw-r--r-- | 3058 | root |
root |
/usr/include/cvc3/theory_uf.h
|
-rw-r--r-- | 4916 | root |
root |
/usr/include/cvc3/translator.h
|
-rw-r--r-- | 3269 | root |
root |
/usr/include/cvc3/type.h
|
-rw-r--r-- | 1223 | root |
root |
/usr/include/cvc3/typecheck_exception.h
|
-rw-r--r-- | 14888 | root |
root |
/usr/include/cvc3/variable.h
|
-rw-r--r-- | 41192 | root |
root |
/usr/include/cvc3/vc.h
|
-rw-r--r-- | 1860 | root |
root |
/usr/include/cvc3/vc_cmd.h
|
-rw-r--r-- | 15711 | root |
root |
/usr/include/cvc3/vcl.h
|
lrwxrwxrwx | 16 | root |
root |
/usr/lib/libcvc3.so
|