obj/AC.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/ordering_graph.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/AC.cmi
obj/AC.cmi : \
    obj/orderings.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/ACDemodulationIndex.cmx : \
    obj/var.cmx \
    obj/unif.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/subst.cmx \
    obj/orderings.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/bit_vec.cmx \
    obj/basicSubsumptionIndex.cmx \
    obj/AC.cmx \
    obj/ACDemodulationIndex.cmi
obj/ACDemodulationIndex.cmi : \
    obj/logic_interface.cmi \
    obj/lib.cmi \
    obj/AC.cmi
obj/KBO.cmx : \
    obj/var.cmx \
    obj/termDB.cmx \
    obj/term.cmx \
    obj/systemDBs.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/statistics.cmx \
    obj/orderings_eq_table.cmx \
    obj/orderings.cmx \
    obj/multiset_ordering.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/KBO.cmi
obj/KBO.cmi : \
    obj/var.cmi \
    obj/term.cmi \
    obj/symbol.cmi \
    obj/orderings.cmi \
    obj/lib.cmi
obj/LPO.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/statistics.cmx \
    obj/orderings_eq_table.cmx \
    obj/orderings.cmx \
    obj/multiset_ordering.cmx \
    obj/lib.cmx \
    obj/LPO.cmi
obj/LPO.cmi : \
    obj/term.cmi \
    obj/symbol.cmi \
    obj/orderings.cmi \
    obj/lib.cmi
obj/SMTSolver.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/statistics.cmx \
    obj/prop_solver_exchange.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/arithmetic.cmx \
    obj/AC.cmx \
    obj/SMTSolver.cmi
obj/SMTSolver.cmi : \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/SMT_incremental.cmx : \
    obj/term.cmx \
    obj/SMTSolver.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/SMT_incremental.cmi
obj/SMT_incremental.cmi : \
    obj/SMTSolver.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/abstAssignDB.cmx : \
    obj/lib.cmx \
    obj/abstDB.cmx \
    obj/abstAssignDB.cmi
obj/abstAssignDB.cmi : \
    obj/lib.cmi
obj/abstDB.cmx : \
    obj/lib.cmx \
    obj/abstDB.cmi
obj/abstDB.cmi : \
    obj/lib.cmi
obj/aigClausifier.cmx : \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/statistics.cmx \
    obj/parser_types.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/important_lit.cmx \
    obj/clause.cmx \
    obj/bmc1Common.cmx \
    obj/aigWitness.cmx \
    obj/aigOptimiser.cmx \
    obj/aigCommon.cmx \
    obj/aigClausifier.cmi
obj/aigClausifier.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi \
    obj/aigCommon.cmi
obj/aigCommon.cmx : \
    obj/lib.cmx \
    obj/aigCommon.cmi
obj/aigCommon.cmi :
obj/aigLoader.cmx : \
    obj/lib.cmx \
    obj/aigCommon.cmx \
    obj/aigLoader.cmi
obj/aigLoader.cmi : \
    obj/aigCommon.cmi
obj/aigOptimiser.cmx : \
    obj/lib.cmx \
    obj/aigCommon.cmx \
    obj/aigOptimiser.cmi
obj/aigOptimiser.cmi : \
    obj/lib.cmi \
    obj/aigCommon.cmi
obj/aigSaver.cmx : \
    obj/statistics.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/bmc1Common.cmx \
    obj/aigCommon.cmx \
    obj/aigSaver.cmi
obj/aigSaver.cmi : \
    obj/aigCommon.cmi
obj/aigWitness.cmx : \
    obj/symbol.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/aigCommon.cmx \
    obj/aigWitness.cmi
obj/aigWitness.cmi : \
    obj/logic_interface.cmi
obj/ar_abstract_arguments.cmx : \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/clause.cmx \
    obj/bimap.cmx \
    obj/ar_abstract_arguments.cmi
obj/ar_abstract_arguments.cmi : \
    obj/term.cmi \
    obj/symbol.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/clause.cmi
obj/ar_abstract_domain.cmx : \
    obj/term.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/ar_dbg.cmx \
    obj/ar_abstract_domain.cmi
obj/ar_abstract_domain.cmi : \
    obj/term.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/clause.cmi
obj/ar_abstract_signature.cmx : \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/clause.cmx \
    obj/ar_abstract_domain.cmx \
    obj/ar_abstract_signature.cmi
obj/ar_abstract_signature.cmi : \
    obj/term.cmi \
    obj/symbol.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/ar_abstract_domain.cmi
obj/ar_argument_filtering.cmx : \
    obj/symbol.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/ar_dbg.cmx \
    obj/ar_common.cmx \
    obj/ar_abstract_signature.cmx \
    obj/ar_abstract_domain.cmx \
    obj/ar_abstract_arguments.cmx \
    obj/ar_argument_filtering.cmi
obj/ar_argument_filtering.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/ar_abstract_domain.cmi
obj/ar_atp.cmx : \
    obj/unsatCore.cmx \
    obj/term.cmx \
    obj/superposition.cmx \
    obj/resolution_loop.cmx \
    obj/prop_solver_exchange.cmx \
    obj/proof_search_loop.cmx \
    obj/preprocess.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/instantiation_loop.cmx \
    obj/instantiation_env.cmx \
    obj/clause.cmx \
    obj/ar_dbg.cmx \
    obj/ar_atp.cmi
obj/ar_atp.cmi : \
    obj/superposition.cmi \
    obj/resolution_loop.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi \
    obj/instantiation_env.cmi \
    obj/clause.cmi
obj/ar_combined_approx.cmx : \
    obj/options.cmx \
    obj/lib.cmx \
    obj/ar_under_approx.cmx \
    obj/ar_over_approx.cmx \
    obj/ar_dbg.cmx \
    obj/ar_atp.cmx \
    obj/ar_combined_approx.cmi
obj/ar_combined_approx.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/ar_common.cmx : \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/ar_abstract_domain.cmx \
    obj/ar_common.cmi
obj/ar_common.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi \
    obj/ar_abstract_domain.cmi
obj/ar_cone_symbols.cmx : \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/ar_dbg.cmx \
    obj/ar_abstract_domain.cmx \
    obj/ar_cone_symbols.cmi
obj/ar_cone_symbols.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/ar_abstract_domain.cmi
obj/ar_dbg.cmx : \
    obj/lib.cmx \
    obj/ar_dbg.cmi
obj/ar_dbg.cmi :
obj/ar_generalisation.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/ar_dbg.cmx \
    obj/ar_common.cmx \
    obj/ar_abstract_signature.cmx \
    obj/ar_abstract_domain.cmx \
    obj/ar_abstract_arguments.cmx \
    obj/ar_generalisation.cmi
obj/ar_generalisation.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/ar_abstract_domain.cmi
obj/ar_over_approx.cmx : \
    obj/tstpProof.cmx \
    obj/statistics.cmx \
    obj/prop_solver_exchange.cmx \
    obj/proof_search_loop.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/ar_subsumption_based.cmx \
    obj/ar_signature_grouping.cmx \
    obj/ar_generalisation.cmx \
    obj/ar_dbg.cmx \
    obj/ar_common.cmx \
    obj/ar_atp.cmx \
    obj/ar_argument_filtering.cmx \
    obj/ar_abstract_domain.cmx \
    obj/ar_over_approx.cmi
obj/ar_over_approx.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi \
    obj/clause.cmi \
    obj/ar_atp.cmi
obj/ar_signature_grouping.cmx : \
    obj/term.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/bimap.cmx \
    obj/ar_dbg.cmx \
    obj/ar_common.cmx \
    obj/ar_abstract_signature.cmx \
    obj/ar_abstract_domain.cmx \
    obj/ar_signature_grouping.cmi
obj/ar_signature_grouping.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/ar_abstract_domain.cmi
obj/ar_subsumption_based.cmx : \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/clause.cmx \
    obj/ar_dbg.cmx \
    obj/ar_abstract_domain.cmx \
    obj/ar_subsumption_based.cmi
obj/ar_subsumption_based.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/ar_abstract_domain.cmi
obj/ar_under_approx.cmx : \
    obj/statistics.cmx \
    obj/prop_solver_exchange.cmx \
    obj/proof_search_loop.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/ar_dbg.cmx \
    obj/ar_cone_symbols.cmx \
    obj/ar_common.cmx \
    obj/ar_atp.cmx \
    obj/ar_abstract_domain.cmx \
    obj/ar_under_approx.cmi
obj/ar_under_approx.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi \
    obj/clause.cmi \
    obj/ar_atp.cmi
obj/arithmetic.cmx : \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/arithmetic.cmi
obj/arithmetic.cmi : \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/assignMap.cmx : \
    obj/lib.cmx \
    obj/assignMap.cmi
obj/assignMap.cmi : \
    obj/lib.cmi
obj/assoc.cmx : \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/assoc.cmi
obj/assoc.cmi : \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/basicSubsumptionIndex.cmx : \
    obj/vectorIndex.cmx \
    obj/unif.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/subst.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/basicSubsumptionIndex.cmi
obj/basicSubsumptionIndex.cmi : \
    obj/subst.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/bimap.cmx : \
    obj/lib.cmx \
    obj/bimap.cmi
obj/bimap.cmi :
obj/bin_hyper_res.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/subsumptionIndex.cmx \
    obj/subst.cmx \
    obj/statistics.cmx \
    obj/simplify.cmx \
    obj/prop_solver_exchange.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/implied_units.cmx \
    obj/clause.cmx \
    obj/bin_hyper_res.cmi
obj/bin_hyper_res.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/bit_vec.cmx : \
    obj/lib.cmx \
    obj/bit_vec.cmi
obj/bit_vec.cmi :
obj/bmc1Axioms.cmx : \
    obj/var.cmx \
    obj/unif.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/subst.cmx \
    obj/statistics.cmx \
    obj/prop_solver_exchange.cmx \
    obj/parser_types.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/bmc1Equal.cmx \
    obj/bmc1Common.cmx \
    obj/bmc1Axioms.cmi
obj/bmc1Axioms.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/clause.cmi \
    obj/bmc1Common.cmi
obj/bmc1Common.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/instantiation_env.cmx \
    obj/finiteDomain.cmx \
    obj/clause.cmx \
    obj/bmc1Common.cmi
obj/bmc1Common.cmi : \
    obj/var.cmi \
    obj/term.cmi \
    obj/symbol.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/instantiation_env.cmi \
    obj/clause.cmi
obj/bmc1Deadlock.cmx : \
    obj/symbol.cmx \
    obj/parser_types.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/bmc1Equal.cmx \
    obj/bmc1Common.cmx \
    obj/bmc1Deadlock.cmi
obj/bmc1Deadlock.cmi : \
    obj/options.cmi \
    obj/clause.cmi
obj/bmc1Equal.cmx : \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/splitting.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/definitions.cmx \
    obj/clause.cmx \
    obj/bmc1Common.cmx \
    obj/bmc1Equal.cmi
obj/bmc1Equal.cmi : \
    obj/term.cmi \
    obj/symbol.cmi \
    obj/options.cmi \
    obj/clause.cmi
obj/bmc1InitTarget.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/parser_types.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/bmc1Common.cmx \
    obj/bmc1InitTarget.cmi
obj/bmc1InitTarget.cmi : \
    obj/symbol.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/bmc1SplitPredicate.cmx : \
    obj/unsatCore.cmx \
    obj/tstpProof.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/problem_properties.cmx \
    obj/preprocess.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/cone_symb.cmx \
    obj/clause.cmx \
    obj/bmc1InitTarget.cmx \
    obj/bmc1Common.cmx \
    obj/aigOptimiser.cmx \
    obj/aigClausifier.cmx \
    obj/bmc1SplitPredicate.cmi
obj/bmc1SplitPredicate.cmi : \
    obj/unsatCore.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/instantiation_env.cmi
obj/bmc1Witness.cmx : \
    obj/term.cmx \
    obj/model_inst.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/bmc1Common.cmx \
    obj/aigWitness.cmx \
    obj/aigCommon.cmx \
    obj/aigClausifier.cmx \
    obj/bmc1Witness.cmi
obj/bmc1Witness.cmi : \
    obj/logic_interface.cmi \
    obj/instantiation_env.cmi
obj/bmc1_loop.cmx : \
    obj/unsatCore.cmx \
    obj/tstpProof.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/statistics.cmx \
    obj/prop_solver_exchange.cmx \
    obj/proof_search_schedule.cmx \
    obj/proof_search_loop.cmx \
    obj/parser_types.cmx \
    obj/options.cmx \
    obj/model_inst.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/bmc1SplitPredicate.cmx \
    obj/bmc1InitTarget.cmx \
    obj/bmc1Equal.cmx \
    obj/bmc1Deadlock.cmx \
    obj/bmc1Common.cmx \
    obj/bmc1Axioms.cmx \
    obj/aigCommon.cmx \
    obj/bmc1_loop.cmi
obj/bmc1_loop.cmi : \
    obj/proof_search_schedule.cmi \
    obj/proof_search_loop.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi
obj/cMinisat.cmx : \
    obj/statistics.cmx \
    obj/lib.cmx \
    obj/cMinisat.cmi
obj/cMinisat.cmi :
obj/clause.cmx : \
    obj/var.cmx \
    obj/termDB.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/substBound.cmx \
    obj/subst.cmx \
    obj/statistics.cmx \
    obj/options.cmx \
    obj/lib.cmx \
    obj/hashcons.cmx \
    obj/dismatching.cmx \
    obj/bit_vec.cmx \
    obj/clause.cmi
obj/clause.cmi : \
    obj/var.cmi \
    obj/termDB.cmi \
    obj/term.cmi \
    obj/symbol.cmi \
    obj/substBound.cmi \
    obj/subst.cmi \
    obj/options.cmi \
    obj/lib.cmi \
    obj/dismatching.cmi
obj/clauseUnifIndex.cmx : \
    obj/unifIndexDiscrTree.cmx \
    obj/term.cmx \
    obj/statistics.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/clauseUnifIndex.cmi
obj/clauseUnifIndex.cmi : \
    obj/logic_interface.cmi
obj/cone_symb.cmx : \
    obj/symbol.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/cone_symb.cmi
obj/cone_symb.cmi : \
    obj/logic_interface.cmi
obj/def_discovery.cmx : \
    obj/unsatCore.cmx \
    obj/term.cmx \
    obj/prop_solver_exchange.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/implied_units.cmx \
    obj/clause.cmx \
    obj/def_discovery.cmi
obj/def_discovery.cmi : \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/definitions.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/subst.cmx \
    obj/statistics.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/definitions.cmi
obj/definitions.cmi : \
    obj/logic_interface.cmi
obj/demodulationIndex.cmx : \
    obj/unifIndexDiscrTree.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/orderings.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/demodulationIndex.cmi
obj/demodulationIndex.cmi : \
    obj/symbol.cmi \
    obj/logic_interface.cmi
obj/demodulationIndexPerfect.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/systemDBs.cmx \
    obj/symbol.cmx \
    obj/subst.cmx \
    obj/statistics.cmx \
    obj/perfectDiscrTree.cmx \
    obj/orderings.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/feature_cache.cmx \
    obj/clause.cmx \
    obj/AC.cmx \
    obj/demodulationIndexPerfect.cmi
obj/demodulationIndexPerfect.cmi : \
    obj/symbol.cmi \
    obj/subst.cmi \
    obj/logic_interface.cmi \
    obj/AC.cmi
obj/discrTree.cmx : \
    obj/trie.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/discrTree.cmi
obj/discrTree.cmi : \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/discrTree_func.cmx : \
    obj/trie_func.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/discrTree_func.cmi
obj/discrTree_func.cmi : \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/dismatching.cmx : \
    obj/var.cmx \
    obj/termDB.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/substBound.cmx \
    obj/subst.cmx \
    obj/statistics.cmx \
    obj/options.cmx \
    obj/lib.cmx \
    obj/dismatching.cmi
obj/dismatching.cmi : \
    obj/termDB.cmi \
    obj/substBound.cmi \
    obj/subst.cmi \
    obj/lib.cmi
obj/eq_axioms.cmx : \
    obj/var.cmx \
    obj/termDB.cmx \
    obj/term.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/substBound.cmx \
    obj/statistics.cmx \
    obj/parser_types.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/eq_axioms.cmi
obj/eq_axioms.cmi : \
    obj/symbol.cmi \
    obj/logic_interface.cmi \
    obj/clause.cmi
obj/eq_flattening.cmx : \
    obj/term.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/eq_flattening.cmi
obj/eq_flattening.cmi : \
    obj/logic_interface.cmi
obj/faster_map.cmx : \
    obj/faster_map.cmi
obj/faster_map.cmi :
obj/feature_cache.cmx : \
    obj/lib.cmx \
    obj/feature_cache.cmi
obj/feature_cache.cmi : \
    obj/lib.cmi
obj/finiteDomain.cmx : \
    obj/symbol.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/finiteDomain.cmi
obj/finiteDomain.cmi : \
    obj/term.cmi \
    obj/symbol.cmi
obj/finite_models.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/subst.cmx \
    obj/statistics.cmx \
    obj/prop_solver_exchange.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/lemma_lifting.cmx \
    obj/eq_axioms.cmx \
    obj/clause.cmx \
    obj/finite_models.cmi
obj/finite_models.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi
obj/finite_models_loop.cmx : \
    obj/unsatCore.cmx \
    obj/tstpProof.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/statistics.cmx \
    obj/prop_solver_exchange.cmx \
    obj/proof_search_loop.cmx \
    obj/preprocess.cmx \
    obj/parser_types.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/finite_models.cmx \
    obj/clause.cmx \
    obj/ar_over_approx.cmx \
    obj/finite_models_loop.cmi
obj/finite_models_loop.cmi : \
    obj/statistics.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/git_info.cmx : \
    obj/git_info.cmi
obj/git_info.cmi :
obj/globalSMT.cmx : \
    obj/SMTSolver.cmx \
    obj/lib.cmx \
    obj/globalSMT.cmi
obj/globalSMT.cmi : \
    obj/SMTSolver.cmi \
    obj/lib.cmi
obj/hashcons.cmx : \
    obj/hashcons.cmi
obj/hashcons.cmi :
obj/heap.cmx : \
    obj/lib.cmx \
    obj/heap.cmi
obj/heap.cmi :
obj/implied_units.cmx : \
    obj/term.cmx \
    obj/prop_solver_exchange.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/implied_units.cmi
obj/implied_units.cmi : \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/important_lit.cmx : \
    obj/symbol.cmx \
    obj/lib.cmx \
    obj/important_lit.cmi
obj/important_lit.cmi : \
    obj/symbol.cmi
obj/inference_rules.cmx : \
    obj/var.cmx \
    obj/unif.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/substBound.cmx \
    obj/subst.cmx \
    obj/statistics.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/instantiation_env.cmx \
    obj/clause.cmx \
    obj/inference_rules.cmi
obj/inference_rules.cmi : \
    obj/systemDBs.cmi \
    obj/subst.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/instantiation_env.cmi \
    obj/clause.cmi
obj/instantiation_env.cmx : \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/dismatching.cmx \
    obj/clause.cmx \
    obj/bit_vec.cmx \
    obj/instantiation_env.cmi
obj/instantiation_env.cmi : \
    obj/logic_interface.cmi \
    obj/lib.cmi \
    obj/dismatching.cmi \
    obj/clause.cmi
obj/instantiation_loop.cmx : \
    obj/unsatCore.cmx \
    obj/unif.cmx \
    obj/tstpProof.cmx \
    obj/term.cmx \
    obj/systemDBs.cmx \
    obj/substBound.cmx \
    obj/statistics.cmx \
    obj/splitting.cmx \
    obj/sockets.cmx \
    obj/simplify.cmx \
    obj/shared_clauses.cmx \
    obj/prop_solver_exchange.cmx \
    obj/passiveQueues.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/instantiation_sel.cmx \
    obj/instantiation_env.cmx \
    obj/inference_rules.cmx \
    obj/dismatching.cmx \
    obj/definitions.cmx \
    obj/clauseUnifIndex.cmx \
    obj/clause.cmx \
    obj/instantiation_loop.cmi
obj/instantiation_loop.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi \
    obj/instantiation_env.cmi
obj/instantiation_sel.cmx : \
    obj/term.cmx \
    obj/statistics.cmx \
    obj/prop_solver_exchange.cmx \
    obj/propSolver.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/instantiation_env.cmx \
    obj/clause.cmx \
    obj/instantiation_sel.cmi
obj/instantiation_sel.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/instantiation_env.cmi
obj/iprover.cmx : \
    obj/theory_subst.cmx \
    obj/theory_db.cmx \
    obj/theory.cmx \
    obj/term.cmx \
    obj/symbol_reach.cmx \
    obj/symbol.cmx \
    obj/superposition.cmx \
    obj/statistics.cmx \
    obj/splitting_nvd.cmx \
    obj/splitting.cmx \
    obj/sockets.cmx \
    obj/signals.cmx \
    obj/resolution_loop.cmx \
    obj/qbf_fof.cmx \
    obj/prop_solver_exchange.cmx \
    obj/proof_search_schedule.cmx \
    obj/problem_properties.cmx \
    obj/preprocess.cmx \
    obj/parser_types.cmx \
    obj/parseFiles.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/instantiation_loop.cmx \
    obj/instantiation_env.cmx \
    obj/inference_rules.cmx \
    obj/git_info.cmx \
    obj/finite_models.cmx \
    obj/eq_axioms.cmx \
    obj/definitions.cmx \
    obj/def_discovery.cmx \
    obj/clause.cmx \
    obj/bmc1_loop.cmx \
    obj/bmc1Witness.cmx \
    obj/assoc.cmx \
    obj/arithmetic.cmx
obj/lemma_lifting.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/lemma_lifting.cmi
obj/lemma_lifting.cmi : \
    obj/logic_interface.cmi
obj/lexer_fof.cmx : \
    obj/lib.cmx
obj/lexer_tptp.cmx : \
    obj/parser_types.cmx \
    obj/parser_tptp.cmx \
    obj/lib.cmx
obj/lib.cmx : \
    obj/faster_map.cmx \
    obj/lib.cmi
obj/lib.cmi :
obj/lightNormalisationIndex.cmx : \
    obj/unifIndexDiscrTree.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/lightNormalisationIndex.cmi
obj/lightNormalisationIndex.cmi : \
    obj/symbol.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/logic_interface.cmx : \
    obj/var.cmx \
    obj/termDB.cmx \
    obj/term.cmx \
    obj/systemDBs.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/subst.cmx \
    obj/orderings.cmx \
    obj/options.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/bit_vec.cmx \
    obj/logic_interface.cmi
obj/logic_interface.cmi : \
    obj/var.cmi \
    obj/termDB.cmi \
    obj/term.cmi \
    obj/symbolDB.cmi \
    obj/symbol.cmi \
    obj/substBound.cmi \
    obj/subst.cmi \
    obj/orderings.cmi \
    obj/lib.cmi \
    obj/clause.cmi \
    obj/bit_vec.cmi
obj/model_inst.cmx : \
    obj/var.cmx \
    obj/termDB.cmx \
    obj/term.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/substBound.cmx \
    obj/subst.cmx \
    obj/parser_types.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/instantiation_env.cmx \
    obj/eq_axioms.cmx \
    obj/dismatching.cmx \
    obj/clause.cmx \
    obj/aigClausifier.cmx \
    obj/model_inst.cmi
obj/model_inst.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi \
    obj/instantiation_env.cmi
obj/model_res.cmx : \
    obj/tstpProof.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/instantiation_env.cmx \
    obj/model_res.cmi
obj/model_res.cmi : \
    obj/superposition.cmi \
    obj/resolution_loop.cmi \
    obj/logic_interface.cmi \
    obj/instantiation_env.cmi
obj/multiset_ordering.cmx : \
    obj/term.cmx \
    obj/lib.cmx \
    obj/multiset_ordering.cmi
obj/multiset_ordering.cmi : \
    obj/term.cmi \
    obj/lib.cmi
obj/options.cmx : \
    obj/lib.cmx \
    obj/options.cmi
obj/options.cmi : \
    obj/lib.cmi
obj/ordering_graph.cmx : \
    obj/lib.cmx \
    obj/ordering_graph.cmi
obj/ordering_graph.cmi : \
    obj/lib.cmi
obj/orderings.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/ordering_graph.cmx \
    obj/lib.cmx \
    obj/orderings.cmi
obj/orderings.cmi : \
    obj/var.cmi \
    obj/term.cmi \
    obj/symbol.cmi \
    obj/lib.cmi
obj/orderings_eq_table.cmx : \
    obj/statistics.cmx \
    obj/lib.cmx \
    obj/orderings_eq_table.cmi
obj/orderings_eq_table.cmi : \
    obj/lib.cmi
obj/orderings_old.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/lib.cmx \
    obj/orderings_old.cmi
obj/orderings_old.cmi : \
    obj/term.cmi
obj/parseFiles.cmx : \
    obj/statistics.cmx \
    obj/parser_types.cmx \
    obj/parser_tptp.cmx \
    obj/options.cmx \
    obj/lib.cmx \
    obj/lexer_tptp.cmx \
    obj/aigOptimiser.cmx \
    obj/aigLoader.cmx \
    obj/aigClausifier.cmx \
    obj/parseFiles.cmi
obj/parseFiles.cmi :
obj/parser_tptp.cmx : \
    obj/symbol.cmx \
    obj/parser_types.cmx \
    obj/lib.cmx \
    obj/parser_tptp.cmi
obj/parser_tptp.cmx : \
    obj/symbol.cmx \
    obj/parser_types.cmx \
    obj/lib.cmx \
    obj/parser_tptp.cmi
obj/parser_tptp.cmi :
obj/parser_tptp.cmi :
obj/parser_types.cmx : \
    obj/var.cmx \
    obj/termDB.cmx \
    obj/term.cmx \
    obj/systemDBs.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/statistics.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/important_lit.cmx \
    obj/finiteDomain.cmx \
    obj/clause.cmx \
    obj/parser_types.cmi
obj/parser_types.cmi : \
    obj/var.cmi \
    obj/termDB.cmi \
    obj/term.cmi \
    obj/symbolDB.cmi \
    obj/symbol.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi \
    obj/important_lit.cmi \
    obj/clause.cmi
obj/passiveQueues.cmx : \
    obj/statistics.cmx \
    obj/priority_queues.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/passiveQueues.cmi
obj/passiveQueues.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi
obj/perfectDiscrTree.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/subst.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/perfectDiscrTree.cmi
obj/perfectDiscrTree.cmi : \
    obj/subst.cmi \
    obj/logic_interface.cmi
obj/predElim.cmx : \
    obj/unif.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/subst.cmx \
    obj/statistics.cmx \
    obj/simplify.cmx \
    obj/priority_queue.cmx \
    obj/parser_types.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/inference_rules.cmx \
    obj/clause.cmx \
    obj/aigClausifier.cmx \
    obj/predElim.cmi
obj/predElim.cmi : \
    obj/symbol.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi
obj/prep_sem_filter.cmx : \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/prep_sem_filter.cmi
obj/prep_sem_filter.cmi : \
    obj/clause.cmi
obj/prep_sem_filter_unif.cmx : \
    obj/term.cmx \
    obj/systemDBs.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/statistics.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/instantiation_env.cmx \
    obj/discrTree.cmx \
    obj/clause.cmx \
    obj/prep_sem_filter_unif.cmi
obj/prep_sem_filter_unif.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/instantiation_env.cmi
obj/prep_unary_pred.cmx : \
    obj/term.cmx \
    obj/subst.cmx \
    obj/statistics.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/prep_unary_pred.cmi
obj/prep_unary_pred.cmi : \
    obj/logic_interface.cmi
obj/preprocess.cmx : \
    obj/well_definedness.cmx \
    obj/var.cmx \
    obj/type_inf.cmx \
    obj/theory_db.cmx \
    obj/termDB.cmx \
    obj/term.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/superposition_sim_spec.cmx \
    obj/statistics.cmx \
    obj/splitting.cmx \
    obj/simplify_new.cmx \
    obj/simplify.cmx \
    obj/SMTSolver.cmx \
    obj/resolution_loop.cmx \
    obj/prop_solver_exchange.cmx \
    obj/problem_properties.cmx \
    obj/prep_unary_pred.cmx \
    obj/prep_sem_filter_unif.cmx \
    obj/predElim.cmx \
    obj/parser_types.cmx \
    obj/orderings.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/instantiation_env.cmx \
    obj/inference_rules.cmx \
    obj/globalSMT.cmx \
    obj/eq_flattening.cmx \
    obj/eq_axioms.cmx \
    obj/definitions.cmx \
    obj/cone_symb.cmx \
    obj/clause.cmx \
    obj/bin_hyper_res.cmx \
    obj/AC.cmx \
    obj/preprocess.cmi
obj/preprocess.cmi : \
    obj/superposition_sim_spec.cmi \
    obj/simplify_new.cmi \
    obj/problem_properties.cmi \
    obj/orderings.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/instantiation_env.cmi
obj/priority_queue.cmx : \
    obj/lib.cmx \
    obj/priority_queue.cmi
obj/priority_queue.cmi : \
    obj/lib.cmi
obj/priority_queues.cmx : \
    obj/lib.cmx \
    obj/heap.cmx \
    obj/priority_queues.cmi
obj/priority_queues.cmi :
obj/problem_properties.cmx : \
    obj/theory_db.cmx \
    obj/term.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/statistics.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/AC.cmx \
    obj/problem_properties.cmi
obj/problem_properties.cmi : \
    obj/theory_db.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/AC.cmi
obj/proof_search_loop.cmx : \
    obj/symbol.cmx \
    obj/superposition_scores.cmx \
    obj/superposition.cmx \
    obj/statistics.cmx \
    obj/shared_clauses.cmx \
    obj/resolution_loop.cmx \
    obj/prop_solver_exchange.cmx \
    obj/problem_properties.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/instantiation_loop.cmx \
    obj/clause.cmx \
    obj/proof_search_loop.cmi
obj/proof_search_loop.cmi : \
    obj/problem_properties.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/proof_search_schedule.cmx : \
    obj/unsatCore.cmx \
    obj/tstpProof.cmx \
    obj/theory_orderings.cmx \
    obj/theory_db.cmx \
    obj/superposition.cmx \
    obj/statistics.cmx \
    obj/sockets.cmx \
    obj/signals.cmx \
    obj/SMTSolver.cmx \
    obj/resolution_loop.cmx \
    obj/prop_solver_exchange.cmx \
    obj/proof_search_loop.cmx \
    obj/problem_properties.cmx \
    obj/parser_types.cmx \
    obj/options.cmx \
    obj/model_res.cmx \
    obj/model_inst.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/instantiation_loop.cmx \
    obj/instantiation_env.cmx \
    obj/globalSMT.cmx \
    obj/finite_models_loop.cmx \
    obj/finite_models.cmx \
    obj/clause.cmx \
    obj/ar_under_approx.cmx \
    obj/ar_over_approx.cmx \
    obj/ar_common.cmx \
    obj/ar_combined_approx.cmx \
    obj/proof_search_schedule.cmi
obj/proof_search_schedule.cmi : \
    obj/unsatCore.cmi \
    obj/superposition.cmi \
    obj/resolution_loop.cmi \
    obj/proof_search_loop.cmi \
    obj/problem_properties.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi \
    obj/instantiation_env.cmi
obj/propSolver.cmx : \
    obj/statistics.cmx \
    obj/options.cmx \
    obj/lib.cmx \
    obj/propSolver.cmi
obj/propSolver.cmi :
obj/iprover_cdcl_fun.cmx : \
    obj/prop_var.cmx \
    obj/prop_env.cmx \
    obj/lib.cmx
obj/iprover_cdcl_imp.cmx : \
    obj/prop_var.cmx \
    obj/prop_env.cmx \
    obj/lib.cmx
obj/prop_env.cmx : \
    obj/prop_var.cmx \
    obj/lib.cmx \
    obj/prop_env.cmi
obj/prop_env.cmi : \
    obj/prop_var.cmi
obj/prop_var.cmx : \
    obj/union_find.cmx \
    obj/lib.cmx \
    obj/prop_var.cmi
obj/prop_var.cmi : \
    obj/union_find.cmi
obj/prop_solver_exchange.cmx : \
    obj/var.cmx \
    obj/unsatCore.cmx \
    obj/unif.cmx \
    obj/trie_func.cmx \
    obj/termDB.cmx \
    obj/term.cmx \
    obj/tableArray.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/substBound.cmx \
    obj/subst.cmx \
    obj/statistics.cmx \
    obj/propSolver.cmx \
    obj/parser_types.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/important_lit.cmx \
    obj/clause.cmx \
    obj/prop_solver_exchange.cmi
obj/prop_solver_exchange.cmi : \
    obj/unsatCore.cmi \
    obj/symbol.cmi \
    obj/propSolver.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi \
    obj/clause.cmi
obj/iprover_qbf.cmx : \
    obj/qbf_env.cmx \
    obj/prop_var.cmx \
    obj/prop_env.cmx \
    obj/lib.cmx
obj/qbf_env.cmx : \
    obj/union_find.cmx \
    obj/statistics.cmx \
    obj/prop_var.cmx \
    obj/prop_env.cmx \
    obj/lib.cmx \
    obj/qbf_env.cmi
obj/qbf_env.cmi : \
    obj/prop_var.cmi \
    obj/prop_env.cmi \
    obj/lib.cmi
obj/qbf_fof.cmx : \
    obj/var.cmx \
    obj/systemDBs.cmx \
    obj/symbol.cmx \
    obj/subst.cmx \
    obj/qbf_preprocess.cmx \
    obj/qbf_env.cmx \
    obj/prop_var.cmx \
    obj/prop_env.cmx \
    obj/parser_types.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/qbf_fof.cmi
obj/qbf_fof.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi
obj/qbf_preprocess.cmx : \
    obj/symbol.cmx \
    obj/statistics.cmx \
    obj/simplify.cmx \
    obj/resolution_loop.cmx \
    obj/qbf_env.cmx \
    obj/prop_var.cmx \
    obj/prop_solver_exchange.cmx \
    obj/prop_fof.cmx \
    obj/prop_env.cmx \
    obj/predElim.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/def_discovery.cmx \
    obj/clause.cmx \
    obj/bin_hyper_res.cmx \
    obj/qbf_preprocess.cmi
obj/qbf_preprocess.cmi : \
    obj/qbf_env.cmi \
    obj/prop_var.cmi \
    obj/prop_env.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi
obj/ref_cnt.cmx : \
    obj/lib.cmx \
    obj/ref_cnt.cmi
obj/ref_cnt.cmi : \
    obj/lib.cmi
obj/resolution_env.cmx : \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/bit_vec.cmx \
    obj/resolution_env.cmi
obj/resolution_env.cmi : \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/resolution_loop.cmx : \
    obj/unif.cmx \
    obj/tstpProof.cmx \
    obj/term.cmx \
    obj/systemDBs.cmx \
    obj/statistics.cmx \
    obj/splitting.cmx \
    obj/sockets.cmx \
    obj/simplify.cmx \
    obj/resolution_sel.cmx \
    obj/resolution_env.cmx \
    obj/prop_solver_exchange.cmx \
    obj/passiveQueues.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/inference_rules.cmx \
    obj/definitions.cmx \
    obj/clauseUnifIndex.cmx \
    obj/clause.cmx \
    obj/resolution_loop.cmi
obj/resolution_loop.cmi : \
    obj/resolution_env.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/resolution_sel.cmx : \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/resolution_env.cmx \
    obj/prop_solver_exchange.cmx \
    obj/orderings_old.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clauseUnifIndex.cmx \
    obj/clause.cmx \
    obj/resolution_sel.cmi
obj/resolution_sel.cmi : \
    obj/resolution_env.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi \
    obj/clauseUnifIndex.cmi
obj/shared_clauses.cmx : \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/shared_clauses.cmi
obj/shared_clauses.cmi : \
    obj/lib.cmi \
    obj/clause.cmi
obj/signals.cmx : \
    obj/options.cmx \
    obj/lib.cmx \
    obj/signals.cmi
obj/signals.cmi :
obj/simplify.cmx : \
    obj/subsumptionIndex.cmx \
    obj/subst.cmx \
    obj/subsetSubsume.cmx \
    obj/statistics.cmx \
    obj/shared_clauses.cmx \
    obj/prop_solver_exchange.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/inference_rules.cmx \
    obj/clause.cmx \
    obj/basicSubsumptionIndex.cmx \
    obj/simplify.cmi
obj/simplify.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi
obj/simplify_new.cmx : \
    obj/var.cmx \
    obj/unitSubsumptionIndex.cmx \
    obj/unif.cmx \
    obj/term.cmx \
    obj/systemDBs.cmx \
    obj/symbol.cmx \
    obj/subsumptionIndex.cmx \
    obj/subst.cmx \
    obj/subsetSubsume_new.cmx \
    obj/statistics.cmx \
    obj/SMT_incremental.cmx \
    obj/SMTSolver.cmx \
    obj/prop_solver_exchange.cmx \
    obj/parser_types.cmx \
    obj/orderings.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lightNormalisationIndex.cmx \
    obj/lib.cmx \
    obj/inference_rules.cmx \
    obj/globalSMT.cmx \
    obj/demodulationIndexPerfect.cmx \
    obj/demodulationIndex.cmx \
    obj/clause.cmx \
    obj/bit_vec.cmx \
    obj/basicSubsumptionIndex.cmx \
    obj/ACDemodulationIndex.cmx \
    obj/AC.cmx \
    obj/simplify_new.cmi
obj/simplify_new.cmi : \
    obj/symbol.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi \
    obj/AC.cmi
obj/sockets.cmx : \
    obj/tstpProof.cmx \
    obj/prop_solver_exchange.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/sockets.cmi
obj/sockets.cmi : \
    obj/logic_interface.cmi \
    obj/lib.cmi \
    obj/clause.cmi
obj/splitting.cmx : \
    obj/statistics.cmx \
    obj/splitting_nvd.cmx \
    obj/splitting_grd.cmx \
    obj/splitting_cvd.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/splitting.cmi
obj/splitting.cmi : \
    obj/logic_interface.cmi \
    obj/definitions.cmi
obj/splitting_cvd.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/ref_cnt.cmx \
    obj/priority_queue.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/definitions.cmx \
    obj/clause.cmx \
    obj/splitting_cvd.cmi
obj/splitting_cvd.cmi : \
    obj/logic_interface.cmi \
    obj/definitions.cmi
obj/splitting_grd.cmx : \
    obj/term.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/definitions.cmx \
    obj/clause.cmx \
    obj/splitting_grd.cmi
obj/splitting_grd.cmi : \
    obj/logic_interface.cmi \
    obj/definitions.cmi
obj/splitting_nvd.cmx : \
    obj/term.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/definitions.cmx \
    obj/clause.cmx \
    obj/splitting_nvd.cmi
obj/splitting_nvd.cmi : \
    obj/logic_interface.cmi \
    obj/definitions.cmi
obj/statistics.cmx : \
    obj/options.cmx \
    obj/lib.cmx \
    obj/statistics.cmi
obj/statistics.cmi :
obj/subsetSubsume.cmx : \
    obj/trie_func.cmx \
    obj/term.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/subsetSubsume.cmi
obj/subsetSubsume.cmi : \
    obj/logic_interface.cmi
obj/subsetSubsume_new.cmx : \
    obj/trie_func.cmx \
    obj/term.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/subsetSubsume_new.cmi
obj/subsetSubsume_new.cmi : \
    obj/logic_interface.cmi
obj/subst.cmx : \
    obj/var.cmx \
    obj/termDB.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/lib.cmx \
    obj/subst.cmi
obj/subst.cmi : \
    obj/var.cmi \
    obj/termDB.cmi \
    obj/term.cmi \
    obj/symbol.cmi \
    obj/lib.cmi
obj/substBound.cmx : \
    obj/var.cmx \
    obj/termDB.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/subst.cmx \
    obj/lib.cmx \
    obj/substBound.cmi
obj/substBound.cmi : \
    obj/var.cmi \
    obj/termDB.cmi \
    obj/term.cmi \
    obj/symbol.cmi \
    obj/subst.cmi \
    obj/lib.cmi
obj/subsumptionIndex.cmx : \
    obj/unif.cmx \
    obj/subst.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/basicSubsumptionIndex.cmx \
    obj/subsumptionIndex.cmi
obj/subsumptionIndex.cmi : \
    obj/logic_interface.cmi \
    obj/lib.cmi \
    obj/basicSubsumptionIndex.cmi
obj/superposition.cmx : \
    obj/theory_db.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/superposition_sim_spec.cmx \
    obj/superposition_scores.cmx \
    obj/superpositionUnifIndex.cmx \
    obj/statistics.cmx \
    obj/sockets.cmx \
    obj/simplify_new.cmx \
    obj/simplify.cmx \
    obj/prop_solver_exchange.cmx \
    obj/problem_properties.cmx \
    obj/preprocess.cmx \
    obj/passiveQueues.cmx \
    obj/orderings.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/inference_rules.cmx \
    obj/definitions.cmx \
    obj/clause.cmx \
    obj/AC.cmx \
    obj/superposition.cmi
obj/superposition.cmi : \
    obj/symbol.cmi \
    obj/superposition_scores.cmi \
    obj/problem_properties.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi
obj/superpositionUnifIndex.cmx : \
    obj/unifIndexDiscrTree.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/superpositionUnifIndex.cmi
obj/superpositionUnifIndex.cmi : \
    obj/symbol.cmi \
    obj/logic_interface.cmi
obj/superposition_scores.cmx : \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/superposition_scores.cmi
obj/superposition_scores.cmi : \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/superposition_sim_spec.cmx : \
    obj/theory_orderings.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/simplify_new.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/LPO.cmx \
    obj/KBO.cmx \
    obj/clause.cmx \
    obj/superposition_sim_spec.cmi
obj/superposition_sim_spec.cmi : \
    obj/theory_db.cmi \
    obj/simplify_new.cmi \
    obj/orderings.cmi \
    obj/options.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/symbol.cmx : \
    obj/options.cmx \
    obj/lib.cmx \
    obj/bit_vec.cmx \
    obj/symbol.cmi
obj/symbol.cmi : \
    obj/lib.cmi
obj/symbolDB.cmx : \
    obj/symbol.cmx \
    obj/statistics.cmx \
    obj/lib.cmx \
    obj/abstAssignDB.cmx \
    obj/symbolDB.cmi
obj/symbolDB.cmi : \
    obj/symbol.cmi \
    obj/lib.cmi
obj/symbol_reach.cmx : \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/parser_types.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/symbol_reach.cmi
obj/symbol_reach.cmi : \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/systemDBs.cmx : \
    obj/termDB.cmx \
    obj/term.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/lib.cmx \
    obj/systemDBs.cmi
obj/systemDBs.cmi : \
    obj/term.cmi \
    obj/symbolDB.cmi \
    obj/symbol.cmi \
    obj/clause.cmi
obj/tableArray.cmx : \
    obj/lib.cmx \
    obj/tableArray.cmi
obj/tableArray.cmi :
obj/term.cmx : \
    obj/var.cmx \
    obj/tableArray.cmx \
    obj/symbol.cmx \
    obj/options.cmx \
    obj/lib.cmx \
    obj/bit_vec.cmx \
    obj/term.cmi
obj/term.cmi : \
    obj/var.cmi \
    obj/tableArray.cmi \
    obj/symbol.cmi \
    obj/options.cmi \
    obj/lib.cmi
obj/termDB.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/lib.cmx \
    obj/termDB.cmi
obj/termDB.cmi : \
    obj/var.cmi \
    obj/term.cmi \
    obj/symbol.cmi \
    obj/lib.cmi
obj/theory.cmx : \
    obj/theory_subst.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/theory.cmi
obj/theory.cmi : \
    obj/theory_subst.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/theory_db.cmx : \
    obj/var.cmx \
    obj/theory_subst.cmx \
    obj/theory.cmx \
    obj/term.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/bit_vec.cmx \
    obj/theory_db.cmi
obj/theory_db.cmi : \
    obj/theory_subst.cmi \
    obj/theory.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/theory_orderings.cmx : \
    obj/theory_subst.cmx \
    obj/theory_db.cmx \
    obj/term.cmx \
    obj/symbolDB.cmx \
    obj/symbol.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/LPO.cmx \
    obj/KBO.cmx \
    obj/theory_orderings.cmi
obj/theory_orderings.cmi : \
    obj/theory_db.cmi \
    obj/orderings.cmi \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/theory_subst.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/theory_subst.cmi
obj/theory_subst.cmi : \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/tree.cmx : \
    obj/lib.cmx \
    obj/tree.cmi
obj/tree.cmi :
obj/trie.cmx : \
    obj/lib.cmx \
    obj/trie.cmi
obj/trie.cmi : \
    obj/lib.cmi
obj/trie_func.cmx : \
    obj/lib.cmx \
    obj/trie_func.cmi
obj/trie_func.cmi :
obj/tstpProof.cmx : \
    obj/statistics.cmx \
    obj/prop_solver_exchange.cmx \
    obj/parseFiles.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/lexer_fof.cmx \
    obj/clause.cmx \
    obj/tstpProof.cmi
obj/tstpProof.cmi : \
    obj/logic_interface.cmi \
    obj/clause.cmi
obj/type_inf.cmx : \
    obj/var.cmx \
    obj/union_find.cmx \
    obj/term.cmx \
    obj/systemDBs.cmx \
    obj/symbol.cmx \
    obj/statistics.cmx \
    obj/propSolver.cmx \
    obj/parser_types.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/type_inf.cmi
obj/type_inf.cmi : \
    obj/logic_interface.cmi
obj/unif.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/substBound.cmx \
    obj/subst.cmx \
    obj/statistics.cmx \
    obj/options.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/unif.cmi
obj/unif.cmi : \
    obj/var.cmi \
    obj/term.cmi \
    obj/substBound.cmi \
    obj/subst.cmi \
    obj/clause.cmi
obj/unifIndex.cmx : \
    obj/term.cmx \
    obj/lib.cmx \
    obj/unifIndex.cmi
obj/unifIndex.cmi : \
    obj/term.cmi
obj/unifIndexDebug.cmx : \
    obj/unifIndexMap.cmx \
    obj/unifIndexDiscrTree.cmx \
    obj/unif.cmx \
    obj/term.cmx \
    obj/statistics.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/unifIndexDebug.cmi
obj/unifIndexDebug.cmi : \
    obj/logic_interface.cmi
obj/unifIndexDiscrTree.cmx : \
    obj/unifIndexMap.cmx \
    obj/term.cmx \
    obj/statistics.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/discrTree_func.cmx \
    obj/unifIndexDiscrTree.cmi
obj/unifIndexDiscrTree.cmi : \
    obj/logic_interface.cmi
obj/unifIndexMap.cmx : \
    obj/unif.cmx \
    obj/term.cmx \
    obj/statistics.cmx \
    obj/options.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/unifIndexMap.cmi
obj/unifIndexMap.cmi : \
    obj/logic_interface.cmi
obj/union_find.cmx : \
    obj/lib.cmx \
    obj/union_find.cmi
obj/union_find.cmi :
obj/unitSubsumptionIndex.cmx : \
    obj/term.cmx \
    obj/perfectDiscrTree.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/unitSubsumptionIndex.cmi
obj/unitSubsumptionIndex.cmi : \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/unsatCore.cmx : \
    obj/term.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/clause.cmx \
    obj/unsatCore.cmi
obj/unsatCore.cmi : \
    obj/logic_interface.cmi
obj/var.cmx : \
    obj/symbol.cmx \
    obj/options.cmx \
    obj/lib.cmx \
    obj/var.cmi
obj/var.cmi : \
    obj/symbol.cmi \
    obj/lib.cmi
obj/vectorIndex.cmx : \
    obj/tree.cmx \
    obj/lib.cmx \
    obj/vectorIndex.cmi
obj/vectorIndex.cmi : \
    obj/lib.cmi
obj/well_definedness.cmx : \
    obj/var.cmx \
    obj/term.cmx \
    obj/symbol.cmx \
    obj/statistics.cmx \
    obj/logic_interface.cmx \
    obj/lib.cmx \
    obj/inference_rules.cmx \
    obj/clause.cmx \
    obj/well_definedness.cmi
obj/well_definedness.cmi : \
    obj/logic_interface.cmi \
    obj/lib.cmi
obj/aiger.o: src/aiger.h
obj/mem_my.o: src/mem_my.h
obj/minisat_ocaml_wrapper.o: src/minisat_ocaml_wrapper.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/mlvalues.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/config.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/m.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/s.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/compatibility.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/misc.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/camlatomic.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/tsan.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/domain_state.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/domain_state.tbl \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/alloc.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/mlvalues.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/memory.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/domain.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/signals.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/custom.h
obj/picosat.o: src/picosat.h
obj/solver.o: src/solver.h src/vec.h src/mem_my.h
obj/vec.o: src/vec.h src/mem_my.h
obj/aigLoad.o: src/aigLoad.c \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/mlvalues.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/config.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/m.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/s.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/compatibility.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/misc.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/camlatomic.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/tsan.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/domain_state.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/domain_state.tbl \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/alloc.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/mlvalues.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/memory.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/domain.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/signals.h \
 src/aiger.h
obj/aiger.o: src/aiger.c src/aiger.h
obj/picosat.o: src/picosat.c src/picosat.h
obj/picosat_ocaml_wrapper.o: src/picosat_ocaml_wrapper.c src/picosat.h \
 src/vec.h src/mem_my.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/mlvalues.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/config.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/m.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/s.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/compatibility.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/misc.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/camlatomic.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/tsan.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/domain_state.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/domain_state.tbl \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/alloc.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/mlvalues.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/memory.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/domain.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/signals.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/custom.h
obj/solver.o: src/solver.c src/solver.h src/vec.h src/mem_my.h
obj/solver_basic.o: src/solver_basic.c src/solver.h src/vec.h src/mem_my.h
obj/solver_interface.o: src/solver_interface.c src/solver.h src/vec.h \
 src/mem_my.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/mlvalues.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/config.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/m.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/s.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/compatibility.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/misc.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/camlatomic.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/tsan.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/domain_state.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/domain_state.tbl \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/alloc.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/mlvalues.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/memory.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/domain.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/signals.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/custom.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/fail.h
obj/solver_mod_inc_clauses.o: src/solver_mod_inc_clauses.c src/solver.h \
 src/vec.h src/mem_my.h
obj/Solver_cpp.o: src/Solver_cpp.cpp src/Solver.hpp src/Vec.hpp src/Heap.hpp \
 src/Alg.hpp src/SolverTypes.hpp src/Sort.hpp
obj/minisat_c_wrapper.o: src/minisat_c_wrapper.cpp src/Solver.hpp src/Vec.hpp \
 src/Heap.hpp src/Alg.hpp src/SolverTypes.hpp
obj/minisat_ocaml_wrapper.o: src/minisat_ocaml_wrapper.cpp \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/mlvalues.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/config.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/m.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/s.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/compatibility.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/misc.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/camlatomic.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/tsan.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/domain_state.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/domain_state.tbl \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/alloc.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/mlvalues.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/memory.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/domain.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/signals.h \
 /shareddata/home/korovin/.opam/5.3.0+flambda/lib/ocaml/caml/custom.h \
 src/minisat_c_wrapper.hpp
obj/Alg.o: src/Alg.hpp
obj/BasicHeap.o: src/BasicHeap.hpp src/Vec.hpp
obj/BoxedVec.o: src/BoxedVec.hpp
obj/Heap.o: src/Heap.hpp src/Vec.hpp
obj/Map.o: src/Map.hpp src/Vec.hpp
obj/Queue.o: src/Queue.hpp src/Vec.hpp
obj/Solver.o: src/Solver.hpp src/Vec.hpp src/Heap.hpp src/Alg.hpp \
 src/SolverTypes.hpp
obj/SolverTypes.o: src/SolverTypes.hpp
obj/Sort.o: src/Sort.hpp src/Vec.hpp
obj/Vec.o: src/Vec.hpp
obj/minisat_c_wrapper.o: src/minisat_c_wrapper.hpp
