seq-sat-lama
............\LICENCE
............\README
............\build
............\build-python
............\lama
............\....\preprocess
............\....\..........\Makefile
............\....\..........\axiom.cc
............\....\..........\axiom.h
............\....\..........\causal_graph.cc
............\....\..........\causal_graph.h
............\....\..........\domain_transition_graph.cc
............\....\..........\domain_transition_graph.h
............\....\..........\helper_functions.cc
............\....\..........\helper_functions.h
............\....\..........\max_dag.cc
............\....\..........\max_dag.h
............\....\..........\obj
............\....\..........\operator.cc
............\....\..........\operator.h
............\....\..........\output-format.txt
............\....\..........\planner.cc
............\....\..........\scc.cc
............\....\..........\scc.h
............\....\..........\state.cc
............\....\..........\state.h
............\....\..........\successor_generator.cc
............\....\..........\successor_generator.h
............\....\..........\variable.cc
............\....\..........\variable.h
............\....\search
............\....\......\Makefile
............\....\......\axioms.cc
............\....\......\axioms.h
............\....\......\best_first_search.cc
............\....\......\best_first_search.h
............\....\......\closed_list.cc
............\....\......\closed_list.h
............\....\......\domain_transition_graph.cc
............\....\......\domain_transition_graph.h
............\....\......\ff_heuristic.cc
............\....\......\ff_heuristic.h
............\....\......\globals.cc
............\....\......\globals.h
............\....\......\heuristic.cc
............\....\......\heuristic.h
............\....\......\landmarks_count_heuristic.cc
............\....\......\landmarks_count_heuristic.h
............\....\......\landmarks_graph.cc
............\....\......\landmarks_graph.h
............\....\......\landmarks_graph_rpg_sasp.cc
............\....\......\landmarks_graph_rpg_sasp.h
............\....\......\landmarks_types.h
............\....\......\obj
............\....\......\open_list.cc
............\....\......\open_list.h
............\....\......\operator.cc
............\....\......\operator.h
............\....\......\planner.cc
............\....\......\search_engine.cc
............\....\......\search_engine.h
............\....\......\state.cc
............\....\......\state.h
............\....\......\successor_generator.cc
............\....\......\successor_generator.h
............\....\......\wa_star_search.cc
............\....\......\wa_star_search.h
............\....\translate
............\....\.........\axiom_rules.py
............\....\.........\build_model.py
............\....\.........\fact_groups.py
............\....\.........\graph.py
............\....\.........\greedy_join.py
............\....\.........\instantiate.py
............\....\.........\invariant_finder.py
............\....\.........\invariants.py
............\....\.........\normalize.py
............\....\.........\pddl
............\....\.........\....\__init__.py
............\....\.........\....\actions.py
............\....\.........\....\axioms.py
............\....\.........\....\conditions.py
............\....\.........\....\effects.py
............\....\.........\....\f_expression.py
............\....\.........\....\functions.py
............\....\.........\....\parser.py
............\....\.........\....\pddl_file.py
............\....\.........\....\pddl_types.py
............\....\.........\....\predicates.py
............\....\.........\....\pretty_print.py
............\....\.........\....\tasks.py
............\....\.........\pddl_to_prolog.py
............\....\.........\sas-format.txt
............\....\.........\sas_tasks.py
............\....\.........\simplify.py
............\....\.........\split_rules.py
............\....\.........\tools.py
............\....\.........\translate.py
............\pddl_support_questionnaire_LAMA