This file is indexed.

/usr/include/cvc3/ is in libcvc3-dev 2.4.1-4ubuntu1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/include/cvc3/assumptions.h text/x-c root:root 0o644 5.7 KB
/usr/include/cvc3/c_interface.h text/x-c root:root 0o644 24.9 KB
/usr/include/cvc3/c_interface_defs.h text/x-c root:root 0o644 1.3 KB
/usr/include/cvc3/cdflags.h text/x-c++ root:root 0o644 2.1 KB
/usr/include/cvc3/cdlist.h text/x-c++ root:root 0o644 3.4 KB
/usr/include/cvc3/cdmap.h text/x-c++ root:root 0o644 10.5 KB
/usr/include/cvc3/cdmap_ordered.h text/x-c++ root:root 0o644 10.2 KB
/usr/include/cvc3/cdo.h text/x-c++ root:root 0o644 2.3 KB
/usr/include/cvc3/circuit.h text/x-c root:root 0o644 876 bytes
/usr/include/cvc3/clause.h text/x-c root:root 0o644 10.0 KB
/usr/include/cvc3/cnf.h text/x-c++ root:root 0o644 5.9 KB
/usr/include/cvc3/cnf_manager.h text/x-c++ root:root 0o644 8.4 KB
/usr/include/cvc3/command_line_exception.h text/x-c++ root:root 0o644 1.1 KB
/usr/include/cvc3/command_line_flags.h text/x-c root:root 0o644 10.1 KB
/usr/include/cvc3/common_proof_rules.h text/x-c root:root 0o644 12.3 KB
/usr/include/cvc3/compat_hash_map.h text/x-c root:root 0o644 1.1 KB
/usr/include/cvc3/compat_hash_set.h text/x-c root:root 0o644 1.1 KB
/usr/include/cvc3/context.h text/x-c++ root:root 0o644 13.6 KB
/usr/include/cvc3/cvc_util.h text/x-c++ root:root 0o644 6.4 KB
/usr/include/cvc3/debug.h text/x-c root:root 0o644 15.4 KB
/usr/include/cvc3/dpllt.h text/x-c++ root:root 0o644 6.6 KB
/usr/include/cvc3/dpllt_basic.h text/x-c++ root:root 0o644 2.5 KB
/usr/include/cvc3/dpllt_minisat.h text/x-c++ root:root 0o644 3.1 KB
/usr/include/cvc3/eval_exception.h text/x-c++ root:root 0o644 1.4 KB
/usr/include/cvc3/exception.h text/x-c root:root 0o644 1.7 KB
/usr/include/cvc3/expr.h text/x-c++ root:root 0o644 50.1 KB
/usr/include/cvc3/expr_hash.h text/x-c root:root 0o644 1.1 KB
/usr/include/cvc3/expr_manager.h text/x-c root:root 0o644 20.0 KB
/usr/include/cvc3/expr_map.h text/x-c root:root 0o644 12.0 KB
/usr/include/cvc3/expr_op.h text/x-c++ root:root 0o644 3.3 KB
/usr/include/cvc3/expr_stream.h text/x-c root:root 0o644 11.5 KB
/usr/include/cvc3/expr_transform.h text/x-c++ root:root 0o644 7.6 KB
/usr/include/cvc3/expr_value.h text/x-c++ root:root 0o644 28.8 KB
/usr/include/cvc3/fdstream.h text/x-c root:root 0o644 4.7 KB
/usr/include/cvc3/formula_value.h text/plain root:root 0o644 990 bytes
/usr/include/cvc3/hash_fun.h text/x-c root:root 0o644 3.3 KB
/usr/include/cvc3/hash_map.h text/x-c root:root 0o644 7.2 KB
/usr/include/cvc3/hash_set.h text/x-c root:root 0o644 6.2 KB
/usr/include/cvc3/hash_table.h text/x-c root:root 0o644 21.6 KB
/usr/include/cvc3/kinds.h text/plain root:root 0o644 7.0 KB
/usr/include/cvc3/lang.h text/x-c root:root 0o644 2.4 KB
/usr/include/cvc3/memory_manager.h text/x-c++ root:root 0o644 1.5 KB
/usr/include/cvc3/memory_manager_chunks.h text/x-c root:root 0o644 3.0 KB
/usr/include/cvc3/memory_manager_context.h text/x-c root:root 0o644 4.8 KB
/usr/include/cvc3/memory_manager_malloc.h text/x-c root:root 0o644 1.5 KB
/usr/include/cvc3/notifylist.h text/x-c++ root:root 0o644 1.1 KB
/usr/include/cvc3/os.h text/x-c root:root 0o644 2.0 KB
/usr/include/cvc3/parser.h text/x-c root:root 0o644 2.5 KB
/usr/include/cvc3/parser_exception.h text/x-c root:root 0o644 1.2 KB
/usr/include/cvc3/pretty_printer.h text/plain root:root 0o644 1.1 KB
/usr/include/cvc3/proof.h text/x-c root:root 0o644 1.9 KB
/usr/include/cvc3/queryresult.h text/plain root:root 0o644 1.1 KB
/usr/include/cvc3/rational.h text/x-c root:root 0o644 10.9 KB
/usr/include/cvc3/sat_api.h text/x-c++ root:root 0o644 11.1 KB
/usr/include/cvc3/search.h text/x-c root:root 0o644 6.8 KB
/usr/include/cvc3/search_fast.h text/x-c root:root 0o644 16.0 KB
/usr/include/cvc3/search_impl_base.h text/x-c++ root:root 0o644 10.8 KB
/usr/include/cvc3/search_sat.h text/x-c++ root:root 0o644 10.7 KB
/usr/include/cvc3/search_simple.h text/x-c++ root:root 0o644 2.0 KB
/usr/include/cvc3/smartcdo.h text/x-c++ root:root 0o644 4.0 KB
/usr/include/cvc3/smtlib_exception.h text/x-c root:root 0o644 1.2 KB
/usr/include/cvc3/sound_exception.h text/x-c root:root 0o644 1.2 KB
/usr/include/cvc3/statistics.h text/x-c root:root 0o644 6.1 KB
/usr/include/cvc3/theorem.h text/x-c root:root 0o644 14.9 KB
/usr/include/cvc3/theorem_manager.h text/x-c root:root 0o644 3.6 KB
/usr/include/cvc3/theorem_producer.h text/x-c root:root 0o644 8.2 KB
/usr/include/cvc3/theory.h text/x-c++ root:root 0o644 28.0 KB
/usr/include/cvc3/theory_arith.h text/x-c root:root 0o644 8.3 KB
/usr/include/cvc3/theory_arith3.h text/x-c root:root 0o644 12.2 KB
/usr/include/cvc3/theory_arith_new.h text/x-c root:root 0o644 35.4 KB
/usr/include/cvc3/theory_arith_old.h text/x-c root:root 0o644 31.6 KB
/usr/include/cvc3/theory_array.h text/x-c++ root:root 0o644 3.7 KB
/usr/include/cvc3/theory_bitvector.h text/x-c++ root:root 0o644 13.2 KB
/usr/include/cvc3/theory_core.h text/x-c++ root:root 0o644 18.4 KB
/usr/include/cvc3/theory_datatype.h text/x-c++ root:root 0o644 4.9 KB
/usr/include/cvc3/theory_datatype_lazy.h text/x-c++ root:root 0o644 1.8 KB
/usr/include/cvc3/theory_quant.h text/x-c root:root 0o644 23.1 KB
/usr/include/cvc3/theory_records.h text/x-c++ root:root 0o644 5.7 KB
/usr/include/cvc3/theory_simulate.h text/x-c++ root:root 0o644 1.8 KB
/usr/include/cvc3/theory_uf.h text/x-c++ root:root 0o644 3.2 KB
/usr/include/cvc3/translator.h text/x-c++ root:root 0o644 6.0 KB
/usr/include/cvc3/type.h text/x-c++ root:root 0o644 3.2 KB
/usr/include/cvc3/typecheck_exception.h text/x-c root:root 0o644 1.2 KB
/usr/include/cvc3/variable.h text/x-c root:root 0o644 14.5 KB
/usr/include/cvc3/vc.h text/x-c++ root:root 0o644 41.1 KB
/usr/include/cvc3/vc_cmd.h text/x-c++ root:root 0o644 1.8 KB
/usr/include/cvc3/vcl.h text/x-c++ root:root 0o644 15.7 KB