# filelist

dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/muz/spacer
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  spacer_antiunify.cpp/spacer_antiunify.h/spacer_arith_generalizers.cpp/spacer_arith_kernel.cpp/spacer_arith_kernel.h/spacer_callback.cpp/spacer_callback.h/spacer_cluster.cpp/spacer_cluster.h/spacer_cluster_util.cpp/spacer_concretize.cpp/spacer_concretize.h/spacer_conjecture.cpp/spacer_context.cpp/spacer_context.h/spacer_convex_closure.cpp/spacer_convex_closure.h/spacer_dl_interface.cpp/spacer_dl_interface.h/spacer_expand_bnd_generalizer.cpp/spacer_expand_bnd_generalizer.h/spacer_farkas_learner.cpp/spacer_farkas_learner.h/spacer_generalizers.cpp/spacer_generalizers.h/spacer_global_generalizer.cpp/spacer_global_generalizer.h/spacer_ind_lemma_generalizer.cpp/spacer_iuc_proof.cpp/spacer_iuc_proof.h/spacer_iuc_solver.cpp/spacer_iuc_solver.h/spacer_legacy_frames.cpp/spacer_legacy_frames.h/spacer_legacy_mbp.cpp/spacer_legacy_mev.cpp/spacer_legacy_mev.h/spacer_manager.cpp/spacer_manager.h/spacer_matrix.cpp/spacer_matrix.h/spacer_mbc.cpp/spacer_mbc.h/spacer_mev_array.cpp/spacer_mev_array.h/spacer_pdr.cpp/spacer_pdr.h/spacer_proof_utils.cpp/spacer_proof_utils.h/spacer_prop_solver.cpp/spacer_prop_solver.h/spacer_qe_project.cpp/spacer_qe_project.h/spacer_quant_generalizer.cpp/spacer_sat_answer.cpp/spacer_sat_answer.h/spacer_sem_matcher.cpp/spacer_sem_matcher.h/spacer_sym_mux.cpp/spacer_sym_mux.h/spacer_unsat_core_learner.cpp/spacer_unsat_core_learner.h/spacer_unsat_core_plugin.cpp/spacer_unsat_core_plugin.h/spacer_util.cpp/spacer_util.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/tactic
filetypes: ddddfffddfffffffffdffddfffffdf
filenames:
  aig/arith/bv/core/dependency_converter.cpp/dependency_converter.h/dependent_expr_state_tactic.h/fd_solver/fpa/goal.cpp/goal.h/goal_num_occurs.cpp/goal_num_occurs.h/goal_proof_converter.h/goal_shared_occs.cpp/goal_shared_occs.h/goal_util.cpp/goal_util.h/portfolio/probe.cpp/probe.h/sls/smtlogics/tactic.cpp/tactic.h/tactic_exception.h/tactical.cpp/tactical.h/ufbv/user_propagator_base.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/redhat-linux-build/src/params
filetypes: fffffffffffff
filenames:
  arith_rewriter_params.hpp/array_rewriter_params.hpp/bool_rewriter_params.hpp/bv_rewriter_params.hpp/fpa2bv_rewriter_params.hpp/fpa_rewriter_params.hpp/pattern_inference_params_helper.hpp/poly_rewriter_params.hpp/rewriter_params.hpp/seq_rewriter_params.hpp/sls_params.hpp/solver_params.hpp/tactic_params.hpp


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/math/polynomial
filetypes: fffffffffffffffff
filenames:
  algebraic_numbers.cpp/algebraic_numbers.h/linear_eq_solver.h/polynomial.cpp/polynomial.h/polynomial_cache.cpp/polynomial_cache.h/polynomial_primes.h/rpolynomial.cpp/rpolynomial.h/sexpr2upolynomial.cpp/sexpr2upolynomial.h/upolynomial.cpp/upolynomial.h/upolynomial_factorization.cpp/upolynomial_factorization.h/upolynomial_factorization_int.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src
filetypes: dddddddddddddddddd
filenames:
  ackermannization/api/ast/cmd_context/math/model/muz/nlsat/opt/params/parsers/qe/sat/shell/smt/solver/tactic/util


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/math/simplex
filetypes: ffffffffff
filenames:
  bit_matrix.cpp/bit_matrix.h/model_based_opt.cpp/model_based_opt.h/simplex.cpp/simplex.h/simplex_def.h/sparse_matrix.h/sparse_matrix_def.h/sparse_matrix_ops.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/parsers/util
filetypes: ffffffff
filenames:
  cost_parser.cpp/cost_parser.h/pattern_validation.cpp/pattern_validation.h/scanner.cpp/scanner.h/simple_parser.cpp/simple_parser.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/math/subpaving
filetypes: fffffffffffffffd
filenames:
  subpaving.cpp/subpaving.h/subpaving_hwf.cpp/subpaving_hwf.h/subpaving_mpf.cpp/subpaving_mpf.h/subpaving_mpff.cpp/subpaving_mpff.h/subpaving_mpfx.cpp/subpaving_mpfx.h/subpaving_mpq.cpp/subpaving_mpq.h/subpaving_t.h/subpaving_t_def.h/subpaving_types.h/tactic


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/muz/transforms
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  dl_mk_array_blast.cpp/dl_mk_array_blast.h/dl_mk_array_eq_rewrite.cpp/dl_mk_array_eq_rewrite.h/dl_mk_array_instantiation.cpp/dl_mk_array_instantiation.h/dl_mk_backwards.cpp/dl_mk_backwards.h/dl_mk_bit_blast.cpp/dl_mk_bit_blast.h/dl_mk_coalesce.cpp/dl_mk_coalesce.h/dl_mk_coi_filter.cpp/dl_mk_coi_filter.h/dl_mk_elim_term_ite.cpp/dl_mk_elim_term_ite.h/dl_mk_filter_rules.cpp/dl_mk_filter_rules.h/dl_mk_interp_tail_simplifier.cpp/dl_mk_interp_tail_simplifier.h/dl_mk_karr_invariants.cpp/dl_mk_karr_invariants.h/dl_mk_loop_counter.cpp/dl_mk_loop_counter.h/dl_mk_magic_sets.cpp/dl_mk_magic_sets.h/dl_mk_magic_symbolic.cpp/dl_mk_magic_symbolic.h/dl_mk_quantifier_abstraction.cpp/dl_mk_quantifier_abstraction.h/dl_mk_quantifier_instantiation.cpp/dl_mk_quantifier_instantiation.h/dl_mk_rule_inliner.cpp/dl_mk_rule_inliner.h/dl_mk_scale.cpp/dl_mk_scale.h/dl_mk_separate_negated_tails.cpp/dl_mk_separate_negated_tails.h/dl_mk_slice.cpp/dl_mk_slice.h/dl_mk_subsumption_checker.cpp/dl_mk_subsumption_checker.h/dl_mk_synchronize.cpp/dl_mk_synchronize.h/dl_mk_unbound_compressor.cpp/dl_mk_unbound_compressor.h/dl_mk_unfold.cpp/dl_mk_unfold.h/dl_transforms.cpp/dl_transforms.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/api
filetypes: ffffffffffffffffffffffffffffffffffffffffdffffffffffff
filenames:
  api_algebraic.cpp/api_arith.cpp/api_array.cpp/api_ast.cpp/api_ast_map.cpp/api_ast_map.h/api_ast_vector.cpp/api_ast_vector.h/api_bv.cpp/api_config_params.cpp/api_context.cpp/api_context.h/api_datalog.cpp/api_datalog.h/api_datatype.cpp/api_fpa.cpp/api_goal.cpp/api_goal.h/api_log.cpp/api_model.cpp/api_model.h/api_numeral.cpp/api_opt.cpp/api_params.cpp/api_parsers.cpp/api_pb.cpp/api_polynomial.cpp/api_polynomial.h/api_qe.cpp/api_quant.cpp/api_rcf.cpp/api_seq.cpp/api_solver.cpp/api_solver.h/api_special_relations.cpp/api_stats.cpp/api_stats.h/api_tactic.cpp/api_tactic.h/api_util.h/dll/z3_algebraic.h/z3_api.h/z3_ast_containers.h/z3_fixedpoint.h/z3_fpa.h/z3_logger.h/z3_optimization.h/z3_polynomial.h/z3_rcf.h/z3_replayer.cpp/z3_replayer.h/z3_spacer.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/ast/simplifiers
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  bit2int.h/bit_blaster.cpp/bit_blaster.h/bound_manager.cpp/bound_manager.h/bound_propagator.cpp/bound_propagator.h/bound_simplifier.cpp/bound_simplifier.h/bv_bounds_simplifier.cpp/bv_bounds_simplifier.h/bv_elim.h/bv_slice.cpp/bv_slice.h/card2bv.cpp/card2bv.h/cnf_nnf.h/demodulator_simplifier.cpp/demodulator_simplifier.h/dependent_expr.h/dependent_expr_state.cpp/dependent_expr_state.h/distribute_forall.cpp/distribute_forall.h/dominator_simplifier.cpp/dominator_simplifier.h/elim_bounds.h/elim_term_ite.h/elim_unconstrained.cpp/elim_unconstrained.h/eliminate_predicates.cpp/eliminate_predicates.h/euf_completion.cpp/euf_completion.h/extract_eqs.cpp/extract_eqs.h/flatten_clauses.h/linear_equation.cpp/linear_equation.h/max_bv_sharing.cpp/max_bv_sharing.h/model_reconstruction_trail.cpp/model_reconstruction_trail.h/propagate_values.cpp/propagate_values.h/pull_nested_quantifiers.h/push_ite.h/reduce_args_simplifier.cpp/reduce_args_simplifier.h/refine_inj_axiom.h/rewriter_simplifier.h/solve_context_eqs.cpp/solve_context_eqs.h/solve_eqs.cpp/solve_eqs.h/then_simplifier.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/ast/euf
filetypes: ffffffffffffffffff
filenames:
  euf_ac_plugin.cpp/euf_ac_plugin.h/euf_arith_plugin.cpp/euf_arith_plugin.h/euf_bv_plugin.cpp/euf_bv_plugin.h/euf_egraph.cpp/euf_egraph.h/euf_enode.cpp/euf_enode.h/euf_etable.cpp/euf_etable.h/euf_justification.cpp/euf_justification.h/euf_plugin.cpp/euf_plugin.h/euf_specrel_plugin.cpp/euf_specrel_plugin.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/ackermannization
filetypes: ffffffffffffffff
filenames:
  ackermannize_bv_model_converter.cpp/ackermannize_bv_model_converter.h/ackermannize_bv_tactic.cpp/ackermannize_bv_tactic.h/ackr_bound_probe.cpp/ackr_bound_probe.h/ackr_helper.cpp/ackr_helper.h/ackr_info.h/ackr_model_converter.cpp/ackr_model_converter.h/lackr.cpp/lackr.h/lackr_model_constructor.cpp/lackr_model_constructor.h/lackr_model_converter_lazy.cpp


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/math/lp
filenames:
  bound_analyzer_on_row.h/column.h/column_namer.h/core_solver_pretty_printer.cpp/core_solver_pretty_printer.h/core_solver_pretty_printer_def.h/cross_nested.h/dense_matrix.cpp/emonics.cpp/emonics.h/explanation.h/factorization.cpp/factorization.h/factorization_factory_imp.cpp/factorization_factory_imp.h/general_matrix.h/gomory.cpp/gomory.h/hnf.h/hnf_cutter.cpp/hnf_cutter.h/horner.cpp/horner.h/implied_bound.h/incremental_vector.h/indexed_value.h/indexed_vector.cpp/indexed_vector.h/indexed_vector_def.h/int_branch.cpp/int_branch.h/int_cube.cpp/int_cube.h/int_gcd_test.cpp/int_gcd_test.h/int_solver.cpp/int_solver.h/lar_constraints.h/lar_core_solver.cpp/lar_core_solver.h/lar_core_solver_def.h/lar_solver.cpp/lar_solver.h/lar_term.h/lia_move.h/lp_api.h/lp_bound_propagator.h/lp_core_solver_base.cpp/lp_core_solver_base.h/lp_core_solver_base_def.h/lp_primal_core_solver.cpp/lp_primal_core_solver.h/lp_primal_core_solver_def.h/lp_primal_core_solver_tableau_def.h/lp_settings.cpp/lp_settings.h/lp_settings_def.h/lp_types.h/lp_utils.h/matrix.cpp/matrix_def.h/mon_eq.cpp/monic.h/monomial_bounds.cpp/monomial_bounds.h/nex.h/nex_creator.cpp/nex_creator.h/nla_basics_lemmas.cpp/nla_basics_lemmas.h/nla_common.cpp/nla_common.h/nla_core.cpp/nla_core.h/nla_defs.h/nla_divisions.cpp/nla_divisions.h/nla_grobner.cpp/nla_grobner.h/nla_intervals.cpp/nla_intervals.h/nla_monotone_lemmas.cpp/nla_monotone_lemmas.h/nla_order_lemmas.cpp/nla_order_lemmas.h/nla_powers.cpp/nla_powers.h/nla_solver.cpp/nla_solver.h/nla_tangent_lemmas.cpp/nla_tangent_lemmas.h/nla_types.h/nra_solver.cpp/nra_solver.h/numeric_pair.h/permutation_matrix.cpp/permutation_matrix.h/permutation_matrix_def.h/random_updater.cpp/random_updater.h/random_updater_def.h/stacked_vector.h/static_matrix.cpp/static_matrix.h/static_matrix_def.h/var_eqs.h/var_register.h

filetypes:
[cell repeats an earlier one in this file: 107 characters]


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/cmd_context
filetypes: ffffffffffffdffffffffffff
filenames:
  basic_cmds.cpp/basic_cmds.h/cmd_context.cpp/cmd_context.h/cmd_context_to_goal.cpp/cmd_context_to_goal.h/cmd_util.cpp/cmd_util.h/echo_tactic.cpp/echo_tactic.h/eval_cmd.cpp/eval_cmd.h/extra_cmds/parametric_cmd.cpp/parametric_cmd.h/pdecl.cpp/pdecl.h/simplifier_cmds.cpp/simplifier_cmds.h/simplify_cmd.cpp/simplify_cmd.h/tactic_cmds.cpp/tactic_cmds.h/tactic_manager.cpp/tactic_manager.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/muz/fp
filetypes: ffffffff
filenames:
  datalog_parser.cpp/datalog_parser.h/dl_cmds.cpp/dl_cmds.h/dl_register_engine.cpp/dl_register_engine.h/horn_tactic.cpp/horn_tactic.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/tactic/fd_solver
filetypes: ffffffffff
filenames:
  bounded_int2bv_solver.cpp/bounded_int2bv_solver.h/enum2bv_solver.cpp/enum2bv_solver.h/fd_solver.cpp/fd_solver.h/pb2bv_solver.cpp/pb2bv_solver.h/smtfd_solver.cpp/smtfd_solver.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/nlsat/tactic
filetypes: ffffff
filenames:
  goal2nlsat.cpp/goal2nlsat.h/nlsat_tactic.cpp/nlsat_tactic.h/qfnra_nlsat_tactic.cpp/qfnra_nlsat_tactic.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/params
filetypes: fffff
filenames:
  bit_blaster_params.h/context_params.cpp/context_params.h/pattern_inference_params.cpp/pattern_inference_params.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/tactic/ufbv
filetypes: ffffffff
filenames:
  macro_finder_tactic.cpp/macro_finder_tactic.h/quasi_macros_tactic.cpp/quasi_macros_tactic.h/ufbv_rewriter_tactic.cpp/ufbv_rewriter_tactic.h/ufbv_tactic.cpp/ufbv_tactic.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/ast/normal_forms
filetypes: ffffffffff
filenames:
  defined_names.cpp/defined_names.h/elim_term_ite.cpp/elim_term_ite.h/name_exprs.cpp/name_exprs.h/nnf.cpp/nnf.h/pull_quant.cpp/pull_quant.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/smt
filenames:
  arith_eq_adapter.cpp/arith_eq_adapter.h/arith_eq_solver.cpp/arith_eq_solver.h/diff_logic.h/dyn_ack.cpp/dyn_ack.h/expr_context_simplifier.cpp/expr_context_simplifier.h/fingerprints.cpp/fingerprints.h/mam.cpp/mam.h/old_interval.cpp/old_interval.h/params/proto_model/qi_queue.cpp/qi_queue.h/seq_axioms.cpp/seq_axioms.h/seq_eq_solver.cpp/seq_ne_solver.cpp/seq_offset_eq.cpp/seq_offset_eq.h/seq_regex.cpp/seq_regex.h/smt2_extra_cmds.cpp/smt2_extra_cmds.h/smt_almost_cg_table.cpp/smt_almost_cg_table.h/smt_arith_value.cpp/smt_arith_value.h/smt_b_justification.h/smt_bool_var_data.h/smt_case_split_queue.cpp/smt_case_split_queue.h/smt_cg_table.cpp/smt_cg_table.h/smt_checker.cpp/smt_checker.h/smt_clause.cpp/smt_clause.h/smt_clause_proof.cpp/smt_clause_proof.h/smt_conflict_resolution.cpp/smt_conflict_resolution.h/smt_consequences.cpp/smt_context.cpp/smt_context.h/smt_context_inv.cpp/smt_context_pp.cpp/smt_context_stat.cpp/smt_enode.cpp/smt_enode.h/smt_eq_justification.h/smt_failure.h/smt_farkas_util.cpp/smt_farkas_util.h/smt_for_each_relevant_expr.cpp/smt_for_each_relevant_expr.h/smt_implied_equalities.cpp/smt_implied_equalities.h/smt_internalizer.cpp/smt_justification.cpp/smt_justification.h/smt_kernel.cpp/smt_kernel.h/smt_literal.cpp/smt_literal.h/smt_lookahead.cpp/smt_lookahead.h/smt_model_checker.cpp/smt_model_checker.h/smt_model_finder.cpp/smt_model_finder.h/smt_model_generator.cpp/smt_model_generator.h/smt_parallel.cpp/smt_parallel.h/smt_quantifier.cpp/smt_quantifier.h/smt_quick_checker.cpp/smt_quick_checker.h/smt_relevancy.cpp/smt_relevancy.h/smt_setup.cpp/smt_setup.h/smt_solver.cpp/smt_solver.h/smt_statistics.cpp/smt_statistics.h/smt_theory.cpp/smt_theory.h/smt_types.h/smt_value_sort.cpp/smt_value_sort.h/tactic/theory_arith.cpp/theory_arith.h/theory_arith_aux.h/theory_arith_core.h/theory_arith_eq.h/theory_arith_int.h/theory_arith_nl.h/theory_arith_pp.h/theory_array.cpp/theory_array.h/theory_array_bapa.cpp/theory_array_bapa.h/theory_array_base.cpp/theory_array_base.h/theory_array_full.cpp/theory_array_full.h/theory_bv.cpp/theory_bv.h/theory_char.cpp/theory_char.h/theory_datatype.cpp/theory_datatype.h/theory_dense_diff_logic.cpp/theory_dense_diff_logic.h/theory_dense_diff_logic_def.h/theory_diff_logic.cpp/theory_diff_logic.h/theory_diff_logic_def.h/theory_dl.cpp/theory_dl.h/theory_dummy.cpp/theory_dummy.h/theory_fpa.cpp/theory_fpa.h/theory_lra.cpp/theory_lra.h/theory_opt.cpp/theory_opt.h/theory_pb.cpp/theory_pb.h/theory_polymorphism.h/theory_recfun.cpp/theory_recfun.h/theory_seq.cpp/theory_seq.h/theory_special_relations.cpp/theory_special_relations.h/theory_str.cpp/theory_str.h/theory_str_mc.cpp/theory_str_regex.cpp/theory_user_propagator.cpp/theory_user_propagator.h/theory_utvpi.cpp/theory_utvpi.h/theory_utvpi_def.h/theory_wmaxsat.cpp/theory_wmaxsat.h/uses_theory.cpp/watch_list.cpp/watch_list.h

filetypes:
  fffffffffffffffddffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/tactic/fpa
filetypes: ffffffff
filenames:
  fpa2bv_model_converter.cpp/fpa2bv_model_converter.h/fpa2bv_tactic.cpp/fpa2bv_tactic.h/qffp_tactic.cpp/qffp_tactic.h/qffplra_tactic.cpp/qffplra_tactic.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/ast/rewriter
filetypes: ffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  arith_rewriter.cpp/arith_rewriter.h/array_rewriter.cpp/array_rewriter.h/ast_counter.cpp/ast_counter.h/bit2int.cpp/bit2int.h/bit_blaster/bool_rewriter.cpp/bool_rewriter.h/bv_bounds.cpp/bv_bounds.h/bv_bounds_base.h/bv_elim.cpp/bv_elim.h/bv_rewriter.cpp/bv_rewriter.h/cached_var_subst.cpp/cached_var_subst.h/char_rewriter.cpp/char_rewriter.h/datatype_rewriter.cpp/datatype_rewriter.h/der.cpp/der.h/distribute_forall.cpp/distribute_forall.h/dl_rewriter.cpp/dl_rewriter.h/dom_simplifier.cpp/dom_simplifier.h/elim_bounds.cpp/elim_bounds.h/enum2bv_rewriter.cpp/enum2bv_rewriter.h/expr_replacer.cpp/expr_replacer.h/expr_safe_replace.cpp/expr_safe_replace.h/factor_equivs.cpp/factor_equivs.h/factor_rewriter.cpp/factor_rewriter.h/fpa_rewriter.cpp/fpa_rewriter.h/func_decl_replace.cpp/func_decl_replace.h/inj_axiom.cpp/inj_axiom.h/label_rewriter.cpp/label_rewriter.h/macro_replacer.cpp/macro_replacer.h/maximize_ac_sharing.cpp/maximize_ac_sharing.h/mk_extract_proc.cpp/mk_extract_proc.h/mk_simplified_app.cpp/mk_simplified_app.h/pb2bv_rewriter.cpp/pb2bv_rewriter.h/pb_rewriter.cpp/pb_rewriter.h/pb_rewriter_def.h/poly_rewriter.h/poly_rewriter_def.h/push_app_ite.cpp/push_app_ite.h/quant_hoist.cpp/quant_hoist.h/recfun_replace.h/recfun_rewriter.cpp/recfun_rewriter.h/rewriter.cpp/rewriter.h/rewriter_def.h/rewriter_types.h/seq_axioms.cpp/seq_axioms.h/seq_eq_solver.cpp/seq_eq_solver.h/seq_rewriter.cpp/seq_rewriter.h/seq_skolem.cpp/seq_skolem.h/th_rewriter.cpp/th_rewriter.h/value_sweep.cpp/value_sweep.h/var_subst.cpp/var_subst.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/model
filetypes: fffffffffffffffffffffffffffffffff
filenames:
  array_factory.cpp/array_factory.h/char_factory.h/datatype_factory.cpp/datatype_factory.h/fpa_factory.h/func_interp.cpp/func_interp.h/model.cpp/model.h/model2expr.cpp/model2expr.h/model_core.cpp/model_core.h/model_evaluator.cpp/model_evaluator.h/model_implicant.cpp/model_implicant.h/model_macro_solver.cpp/model_macro_solver.h/model_pp.cpp/model_pp.h/model_smt2_pp.cpp/model_smt2_pp.h/model_v2_pp.cpp/model_v2_pp.h/numeral_factory.cpp/numeral_factory.h/seq_factory.h/struct_factory.cpp/struct_factory.h/value_factory.cpp/value_factory.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/tactic/bv
filetypes: ffffffffffffffffffffff
filenames:
  bit_blaster_model_converter.cpp/bit_blaster_model_converter.h/bit_blaster_tactic.cpp/bit_blaster_tactic.h/bv1_blaster_tactic.cpp/bv1_blaster_tactic.h/bv_bound_chk_tactic.cpp/bv_bound_chk_tactic.h/bv_bounds_tactic.cpp/bv_bounds_tactic.h/bv_size_reduction_tactic.cpp/bv_size_reduction_tactic.h/bv_slice_tactic.h/bvarray2uf_rewriter.cpp/bvarray2uf_rewriter.h/bvarray2uf_tactic.cpp/bvarray2uf_tactic.h/dt2bv_tactic.cpp/dt2bv_tactic.h/elim_small_bv_tactic.cpp/elim_small_bv_tactic.h/max_bv_sharing_tactic.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/smt/params
filetypes: fffffffffffffffffffff
filenames:
  dyn_ack_params.cpp/dyn_ack_params.h/preprocessor_params.cpp/preprocessor_params.h/qi_params.cpp/qi_params.h/smt_params.cpp/smt_params.h/theory_arith_params.cpp/theory_arith_params.h/theory_array_params.cpp/theory_array_params.h/theory_bv_params.cpp/theory_bv_params.h/theory_datatype_params.h/theory_pb_params.cpp/theory_pb_params.h/theory_seq_params.cpp/theory_seq_params.h/theory_str_params.cpp/theory_str_params.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/sat
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdffffffffdd
filenames:
  dimacs.cpp/dimacs.h/sat_aig_cuts.cpp/sat_aig_cuts.h/sat_aig_finder.cpp/sat_aig_finder.h/sat_allocator.h/sat_anf_simplifier.cpp/sat_anf_simplifier.h/sat_asymm_branch.cpp/sat_asymm_branch.h/sat_bcd.cpp/sat_bcd.h/sat_big.cpp/sat_big.h/sat_binspr.cpp/sat_binspr.h/sat_clause.cpp/sat_clause.h/sat_clause_set.cpp/sat_clause_set.h/sat_clause_use_list.cpp/sat_clause_use_list.h/sat_cleaner.cpp/sat_cleaner.h/sat_config.cpp/sat_config.h/sat_cut_simplifier.cpp/sat_cut_simplifier.h/sat_cutset.cpp/sat_cutset.h/sat_cutset_compute_shift.h/sat_ddfw.cpp/sat_ddfw.h/sat_drat.cpp/sat_drat.h/sat_elim_eqs.cpp/sat_elim_eqs.h/sat_elim_vars.cpp/sat_elim_vars.h/sat_extension.h/sat_gc.cpp/sat_integrity_checker.cpp/sat_integrity_checker.h/sat_justification.h/sat_local_search.cpp/sat_local_search.h/sat_lookahead.cpp/sat_lookahead.h/sat_lut_finder.cpp/sat_lut_finder.h/sat_model_converter.cpp/sat_model_converter.h/sat_mus.cpp/sat_mus.h/sat_npn3_finder.cpp/sat_npn3_finder.h/sat_parallel.cpp/sat_parallel.h/sat_prob.cpp/sat_prob.h/sat_probing.cpp/sat_probing.h/sat_proof_trim.cpp/sat_proof_trim.h/sat_scc.cpp/sat_scc.h/sat_simplifier.cpp/sat_simplifier.h/sat_solver/sat_solver.cpp/sat_solver.h/sat_solver_core.h/sat_types.h/sat_watched.cpp/sat_watched.h/sat_xor_finder.cpp/sat_xor_finder.h/smt/tactic


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/cmd_context/extra_cmds
filetypes: ffffffff
filenames:
  dbg_cmds.cpp/dbg_cmds.h/polynomial_cmds.cpp/polynomial_cmds.h/proof_cmds.cpp/proof_cmds.h/subpaving_cmds.cpp/subpaving_cmds.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.i386/src/tactic/portfolio
filetypes: ffffff
filenames:
  default_tactic.cpp/default_tactic.h/smt_strategic_solver.cpp/solver2lookahead.cpp/solver_subsumption_tactic.cpp/solver_subsumption_tactic.h


dirname: /usr/src/debug/z3-4.13.2-1.fc40.x86_64/src/api
filetypes: ffffffffffffffffffffffffffffffffffffffffddffffffffffff
filenames:
  api_algebraic.cpp/api_arith.cpp/api_array.cpp/api_ast.cpp/api_ast_map.cpp/api_ast_map.h/api_ast_vector.cpp/api_ast_vector.h/api_bv.cpp/api_config_params.cpp/api_context.cpp/api_context.h/api_datalog.cpp/api_datalog.h/api_datatype.cpp/api_fpa.cpp/api_goal.cpp/api_goal.h/api_log.cpp/api_model.cpp/api_model.h/api_numeral.cpp/api_opt.cpp/api_params.cpp/api_parsers.cpp/api_pb.cpp/api_polynomial.cpp/api_polynomial.h/api_qe.cpp/api_quant.cpp/api_rcf.cpp/api_seq.cpp/api_solver.cpp/api_solver.h/api_special_relations.cpp/api_stats.cpp/api_stats.h/api_tactic.cpp/api_tactic.h/api_util.h/dll/ml/z3_algebraic.h/z3_api.h/z3_ast_containers.h/z3_fixedpoint.h/z3_fpa.h/z3_logger.h/z3_optimization.h/z3_polynomial.h/z3_rcf.h/z3_replayer.cpp/z3_replayer.h/z3_spacer.h


dirname: /usr/src/debug/zanshin-24.02.1-1.fc40.x86_64/src/akonadi
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  akonadiapplicationselectedattribute.cpp/akonadiapplicationselectedattribute.h/akonadicache.cpp/akonadicache.h/akonadicachingstorage.cpp/akonadicachingstorage.h/akonadicollectionfetchjobinterface.cpp/akonadicollectionfetchjobinterface.h/akonadiconfigdialog.cpp/akonadiconfigdialog.h/akonadicontextqueries.cpp/akonadicontextqueries.h/akonadicontextrepository.cpp/akonadicontextrepository.h/akonadidatasourcequeries.cpp/akonadidatasourcequeries.h/akonadidatasourcerepository.cpp/akonadidatasourcerepository.h/akonadiitemfetchjobinterface.cpp/akonadiitemfetchjobinterface.h/akonadilivequeryhelpers.cpp/akonadilivequeryhelpers.h/akonadilivequeryintegrator.cpp/akonadilivequeryintegrator.h/akonadimonitorimpl.cpp/akonadimonitorimpl.h/akonadimonitorinterface.cpp/akonadimonitorinterface.h/akonadiprojectqueries.cpp/akonadiprojectqueries.h/akonadiprojectrepository.cpp/akonadiprojectrepository.h/akonadiserializer.cpp/akonadiserializer.h/akonadiserializerinterface.cpp/akonadiserializerinterface.h/akonadistorage.cpp/akonadistorage.h/akonadistorageinterface.cpp/akonadistorageinterface.h/akonadistoragesettings.cpp/akonadistoragesettings.h/akonaditaskqueries.cpp/akonaditaskqueries.h/akonaditaskrepository.cpp/akonaditaskrepository.h/akonaditimestampattribute.cpp/akonaditimestampattribute.h


filenames: moc_part.cpp/part.moc
filetypes: ff
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.x86_64/redhat-linux-build/src/zanshin/kontact/zanshin_part_autogen/include


dirname: /usr/src/debug/zanshin-24.02.1-1.fc40.x86_64/src/domain
filetypes: ffffffffffffffffffffffffffff
filenames:
  context.cpp/context.h/contextqueries.cpp/contextqueries.h/contextrepository.cpp/contextrepository.h/datasource.cpp/datasource.h/datasourcequeries.cpp/datasourcequeries.h/datasourcerepository.cpp/datasourcerepository.h/livequery.h/project.cpp/project.h/projectqueries.cpp/projectqueries.h/projectrepository.cpp/projectrepository.h/queryresult.h/queryresultinterface.h/queryresultprovider.h/task.cpp/task.h/taskqueries.cpp/taskqueries.h/taskrepository.cpp/taskrepository.h


filenames: EWIEGA46WW/include/mocs_compilation.cpp
filetypes: ddf
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.x86_64/redhat-linux-build/src/zanshin/kontact/zanshin_part_autogen


filenames: kontact_plugin.moc/moc_kontact_plugin.cpp
filetypes: ff
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.x86_64/redhat-linux-build/src/zanshin/kontact/kontact_zanshinplugin_autogen/include


dirname: /usr/src/debug/zanshin-24.02.1-1.fc40.x86_64/redhat-linux-build/src/akonadi/akonadi_autogen/include
filetypes: ffffffffffffffff
filenames:
  akonadicachingstorage.moc/akonadistorage.moc/moc_akonadicache.cpp/moc_akonadiconfigdialog.cpp/moc_akonadicontextqueries.cpp/moc_akonadicontextrepository.cpp/moc_akonadidatasourcequeries.cpp/moc_akonadidatasourcerepository.cpp/moc_akonadilivequeryintegrator.cpp/moc_akonadimonitorimpl.cpp/moc_akonadimonitorinterface.cpp/moc_akonadiprojectqueries.cpp/moc_akonadiprojectrepository.cpp/moc_akonadistoragesettings.cpp/moc_akonaditaskqueries.cpp/moc_akonaditaskrepository.cpp


dirname: /usr/src/debug/zanshin-24.02.1-1.fc40.x86_64/redhat-linux-build/src/widgets/widgets_autogen/include
filetypes: fffffffffffff
filenames:
  moc_applicationcomponents.cpp/moc_availablepagesview.cpp/moc_availablesourcesview.cpp/moc_datasourcedelegate.cpp/moc_editorview.cpp/moc_filterwidget.cpp/moc_itemdelegate.cpp/moc_nameanddatasourcedialog.cpp/moc_pageview.cpp/moc_quickselectdialog.cpp/moc_runningtaskwidget.cpp/nameanddatasourcedialog.moc/pageview.moc


filenames: include/mocs_compilation.cpp
filetypes: df
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.x86_64/redhat-linux-build/src/zanshin/runner/org.kde.zanshin_autogen


filetypes: ffffffffffffffff
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.x86_64/redhat-linux-build/src/presentation/presentation_autogen/include

filenames:
  editormodel.moc/moc_alltaskspagemodel.cpp/moc_applicationmodel.cpp/moc_availablepagesmodel.cpp/moc_availablepagessortfilterproxymodel.cpp/moc_availablesourcesmodel.cpp/moc_contextpagemodel.cpp/moc_editormodel.cpp/moc_inboxpagemodel.cpp/moc_pagemodel.cpp/moc_projectpagemodel.cpp/moc_querytreemodelbase.cpp/moc_runningtaskmodel.cpp/moc_runningtaskmodelinterface.cpp/moc_taskfilterproxymodel.cpp/moc_workdaypagemodel.cpp


filenames: mocs_compilation.cpp
filetypes: f
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.x86_64/redhat-linux-build/src/zanshin/migrator/zanshin-migrator_autogen


filenames: qrc_kontact_plugins.cpp
filetypes: f
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.x86_64/redhat-linux-build/src/zanshin/kontact/zanshin_part_autogen/EWIEGA46WW


dirname: /usr/src/debug/zanshin-24.02.1-1.fc40.x86_64/src/presentation
filetypes: ffffffffffffffffffffffffffffffffffffff
filenames:
  alltaskspagemodel.cpp/alltaskspagemodel.h/applicationmodel.cpp/applicationmodel.h/availablepagesmodel.cpp/availablepagesmodel.h/availablepagessortfilterproxymodel.cpp/availablepagessortfilterproxymodel.h/availablesourcesmodel.cpp/availablesourcesmodel.h/contextpagemodel.cpp/contextpagemodel.h/editormodel.cpp/editormodel.h/errorhandler.cpp/errorhandler.h/errorhandlingmodelbase.cpp/errorhandlingmodelbase.h/inboxpagemodel.cpp/inboxpagemodel.h/metatypes.cpp/metatypes.h/pagemodel.cpp/pagemodel.h/projectpagemodel.cpp/projectpagemodel.h/querytreemodel.h/querytreemodelbase.cpp/querytreemodelbase.h/querytreenode.h/runningtaskmodel.cpp/runningtaskmodel.h/runningtaskmodelinterface.cpp/runningtaskmodelinterface.h/taskfilterproxymodel.cpp/taskfilterproxymodel.h/workdaypagemodel.cpp/workdaypagemodel.h


dirname: /usr/src/debug/zanshin-24.02.1-1.fc40.x86_64/src/zanshin/migrator
filetypes: fffff
filenames:
  main.cpp/zanshin021migrator.cpp/zanshin021migrator.h/zanshincontextitemsmigrator.cpp/zanshincontextitemsmigrator.h


dirname: /usr/src/debug/zanshin-24.02.1-1.fc40.x86_64/src/widgets
filetypes: ffffffffffffffffffffffffffffffff
filenames:
  applicationcomponents.cpp/applicationcomponents.h/availablepagesview.cpp/availablepagesview.h/availablesourcesview.cpp/availablesourcesview.h/datasourcedelegate.cpp/datasourcedelegate.h/editorview.cpp/editorview.h/filterwidget.cpp/filterwidget.h/itemdelegate.cpp/itemdelegate.h/messagebox.cpp/messagebox.h/messageboxinterface.cpp/messageboxinterface.h/nameanddatasourcedialog.cpp/nameanddatasourcedialog.h/nameanddatasourcedialoginterface.cpp/nameanddatasourcedialoginterface.h/pageview.cpp/pageview.h/pageviewerrorhandler.cpp/pageviewerrorhandler.h/quickselectdialog.cpp/quickselectdialog.h/quickselectdialoginterface.cpp/quickselectdialoginterface.h/runningtaskwidget.cpp/runningtaskwidget.h


filenames: moc_zanshinrunner.cpp/zanshinrunner.moc
filetypes: ff
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.x86_64/redhat-linux-build/src/zanshin/runner/org.kde.zanshin_autogen/include


filenames: include
filetypes: d
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.x86_64/redhat-linux-build/src/presentation/presentation_autogen


dirname: /usr/src/debug/zanshin-24.02.1-1.fc40.x86_64/src/utils
filetypes: fffffffff
filenames:
  compositejob.cpp/compositejob.h/datetime.cpp/datetime.h/dependencymanager.cpp/dependencymanager.h/jobhandler.cpp/jobhandler.h/mem_fn.h


filenames: include/mocs_compilation.cpp
filetypes: df
dirname:
  /usr/src/debug/zanshin-24.02.1-1.fc40.x86_64/redhat-linux-build/src/zanshin/kontact/kontact_zanshinplugin_autogen


dirname: /usr/src/debug/zypper-1.14.68-1.fc40.x86_64/src
filetypes: fffffffffffffffffddfffffffffffdffffffffdf
filenames:
  Command.cc/Command.h/CommitSummary.cc/CommitSummary.h/Config.cc/Config.h/Guardians.h/PackageArgs.cc/PackageArgs.h/RequestFeedback.cc/SolverRequester.cc/SolverRequester.h/Summary.cc/Summary.h/Table.h/Zypper.cc/Zypper.h/callbacks/commands/global-settings.cc/global-settings.h/info.cc/info.h/issue.cc/issue.h/locales.cc/locales.h/main.cc/misc.cc/misc.h/output/repos.cc/repos.h/search.cc/search.h/solve-commit.cc/solve-commit.h/update.cc/update.h/utils/zypp-refresh.cc


dirname: /usr/src/debug/zypper-1.14.68-1.fc40.x86_64/src/utils
filetypes: ffffffffdffffffffffff
filenames:
  Augeas.cc/Augeas.h/MultiParText.h/Offering.h/XmlFilter.h/ansi.h/colors.h/console.h/flags/getopt.cc/getopt.h/messages.cc/messages.h/misc.cc/misc.h/pager.cc/pager.h/prompt.cc/prompt.h/richtext.h/text.h


dirname: /usr/src/debug/zypper-1.14.68-1.fc40.x86_64/src/commands/query
filetypes: fffffffffff
filenames:
  info.cc/info.h/miscqueryinit.h/packages.cc/packages.h/patches.cc/patches.h/patterns.cc/patterns.h/products.cc/products.h


dirname: /usr/src/debug/zypper-1.14.68-1.fc40.x86_64/src/commands/repos
filetypes: ffffffffffffff
filenames:
  add.cc/add.h/clean.cc/clean.h/list.cc/list.h/modify.cc/modify.h/refresh.cc/refresh.h/remove.cc/remove.h/rename.cc/rename.h


dirname: /usr/src/debug/zypper-1.14.68-1.fc40.x86_64/src/commands
filetypes: ffffffffffffffffffffddffffffffffffddffdffdffffffffffd
filenames:
  basecommand.cc/basecommand.h/commandhelpformatter.h/commonflags.h/conditions.cc/conditions.h/configtest.cc/configtest.h/distupgrade.cc/distupgrade.h/help.cc/help.h/inrverify.cc/inrverify.h/installremove.cc/installremove.h/listpatches.cc/listpatches.h/listupdates.cc/listupdates.h/locale/locks/needs-rebooting.cc/needs-rebooting.h/nullcommands.cc/nullcommands.h/optionsets.cc/optionsets.h/patch.cc/patch.h/patchcheck.cc/patchcheck.h/ps.cc/ps.h/query/repos/reposerviceoptionsets.cc/reposerviceoptionsets.h/search/selectpatchoptionset.cc/selectpatchoptionset.h/services/shell.cc/shell.h/solveroptionset.cc/solveroptionset.h/sourceinstall.cc/sourceinstall.h/subcommand.cc/subcommand.h/update.cc/update.h/utils


dirname: /usr/src/debug/zypper-1.14.68-1.fc40.x86_64/src/commands/utils
filetypes: ffffffffffff
filenames:
  download.cc/download.h/licenses.cc/licenses.h/purge-kernels.cc/purge-kernels.h/source-download.cc/source-download.h/targetos.cc/targetos.h/versioncmp.cc/versioncmp.h


dirname: /usr/src/debug/zypper-1.14.68-1.fc40.x86_64/src/commands/services
filetypes: ffffffffffff
filenames:
  add.cc/add.h/common.cc/common.h/list.cc/list.h/modify.cc/modify.h/refresh.cc/refresh.h/remove.cc/remove.h


