/include/atp/strategy/

• ../
• calculus.h
• inference_rule.h
• problem_analyzer.h