hu-speck-socs2022-code.zip
The previewer is not showing all the files.
bidirectional-fast-downward
CHANGES.md
10.2 kB
LICENSE.md
34.9 kB
README.md
5.4 kB
build.py
4.8 kB
build_configs.py
345 Bytes
driver
__init__.py
33 Bytes
aliases.py
7.9 kB
arguments.py
19.3 kB
call.py
2.7 kB
cleanup.py
346 Bytes
limits.py
2.9 kB
main.py
1.9 kB
plan_manager.py
4.3 kB
portfolio_runner.py
9.5 kB
portfolios
seq_opt_fdss_1.py
930 Bytes
seq_opt_fdss_2.py
948 Bytes
seq_opt_merge_and_shrink.py
706 Bytes
seq_sat_fdss_1.py
3.5 kB
seq_sat_fdss_2.py
2.5 kB
seq_sat_fdss_2014.py
8.6 kB
seq_sat_fdss_2018.py
19.1 kB
returncodes.py
3.5 kB
run_components.py
7.8 kB
tests.py
2.6 kB
util.py
1.2 kB
version.py
106 Bytes
fast-downward.py
96 Bytes
scripts
check_all_costs.py
2.0 kB
complete_properties.py
3.2 kB
domain_groups.py
4.8 kB
evaluate.py
103.8 kB
experiments.py
60.0 kB
optimal_costs.json
45.2 kB
parser.py
11.2 kB
src
CMakeLists.txt
2.8 kB
cmake_modules
FastDownwardMacros.cmake
9.9 kB
FindClp.cmake
1.7 kB
FindCplex.cmake
6.7 kB
FindOSI.cmake
4.8 kB
FindSoplex.cmake
2.0 kB
preprocess_h2
CMakeLists.txt
657 Bytes
README.md
742 Bytes
axiom.cc
2.0 kB
axiom.h
927 Bytes
causal_graph.cc
15.6 kB
causal_graph.h
2.0 kB
domain_transition_graph.cc
11.0 kB
domain_transition_graph.h
1.6 kB
h2_mutexes.cc
35.5 kB
h2_mutexes.h
5.4 kB
helper_functions.cc
9.1 kB
helper_functions.h
2.2 kB
max_dag.cc
3.5 kB
max_dag.h
403 Bytes
mutex_group.cc
3.8 kB
mutex_group.h
2.3 kB
operator.cc
13.8 kB
operator.h
4.0 kB
planner.cc
11.3 kB
scc.cc
2.5 kB
scc.h
1.3 kB
state.cc
1.1 kB
state.h
480 Bytes
successor_generator.cc
8.7 kB
successor_generator.h
950 Bytes
variable.cc
2.4 kB
variable.h
1.2 kB
search
CMakeLists.txt
3.8 kB
DownwardFiles.cmake
21.8 kB
abstract_task.cc
2.2 kB
abstract_task.h
5.4 kB
algorithms
dynamic_bitset.h
5.1 kB
equivalence_relation.cc
6.1 kB
equivalence_relation.h
6.2 kB
int_hash_set.h
11.4 kB
int_packer.cc
4.2 kB
int_packer.h
1.6 kB
max_cliques.cc
4.5 kB
max_cliques.h
928 Bytes
named_vector.h
3.0 kB
ordered_set.h
2.0 kB
priority_queues.h
8.7 kB
sccs.cc
2.1 kB
sccs.h
973 Bytes
segmented_vector.h
9.3 kB
subscriber.h
3.4 kB
axioms.cc
6.1 kB
axioms.h
2.1 kB
bidirectional
backward_eager_search.cc
13.6 kB
backward_eager_search.h
1.5 kB
backward_task.cc
35.7 kB
backward_task.h
3.9 kB
baestar_search.cc
24.6 kB
baestar_search.h
4.0 kB
bi_search_statistics.cc
5.8 kB
bi_search_statistics.h
4.7 kB
butils.cc
939 Bytes
butils.h
965 Bytes
dbbs_search.cc
0 Bytes
dbbs_search.h
0 Bytes
layer_statistics.cc
771 Bytes
layer_statistics.h
430 Bytes
mutex_checker.cc
17.4 kB
mutex_checker.h
1.9 kB
open_lists.cc
1.3 kB
open_lists.h
657 Bytes
plugin_backward_astar.cc
3.5 kB
plugin_baestar.cc
2.8 kB
plugin_dbbs.cc
0 Bytes
rde_checker.cc
13.9 kB
rde_checker.h
4.2 kB
cegar
abstract_search.cc
6.4 kB
abstract_search.h
2.5 kB
abstract_state.cc
3.2 kB
abstract_state.h
1.9 kB
abstraction.cc
4.3 kB
abstraction.h
1.9 kB
additive_cartesian_heuristic.cc
5.6 kB
additive_cartesian_heuristic.h
599 Bytes
cartesian_heuristic_function.cc
620 Bytes
cartesian_heuristic_function.h
839 Bytes
cartesian_set.cc
2.1 kB
cartesian_set.h
1.0 kB
cegar.cc
10.8 kB
cegar.h
2.0 kB
cost_saturation.cc
8.8 kB
cost_saturation.h
2.1 kB
refinement_hierarchy.cc
2.5 kB
refinement_hierarchy.h
2.7 kB
split_selector.cc
4.0 kB
split_selector.h
1.9 kB
subtask_generators.cc
7.2 kB
subtask_generators.h
2.2 kB
transition.h
545 Bytes
transition_system.cc
12.3 kB
transition_system.h
2.2 kB
types.h
547 Bytes
utils.cc
2.8 kB
utils.h
1.1 kB
utils_landmarks.cc
2.2 kB
utils_landmarks.h
864 Bytes
command_line.cc
7.9 kB
command_line.h
557 Bytes
evaluation_context.cc
3.4 kB
evaluation_context.h
4.7 kB
evaluation_result.cc
987 Bytes
evaluation_result.h
1.7 kB
evaluator.cc
2.7 kB
evaluator.h
3.2 kB
evaluator_cache.cc
150 Bytes
evaluator_cache.h
700 Bytes
evaluators
combining_evaluator.cc
1.6 kB
combining_evaluator.h
1.6 kB
const_evaluator.cc
889 Bytes
const_evaluator.h
557 Bytes
g_evaluator.cc
761 Bytes
g_evaluator.h
433 Bytes
max_evaluator.cc
1.1 kB
max_evaluator.h
459 Bytes
plugin_group.cc
145 Bytes
pref_evaluator.cc
929 Bytes
pref_evaluator.h
467 Bytes
sum_evaluator.cc
1.2 kB
sum_evaluator.h
557 Bytes
weighted_evaluator.cc
1.8 kB
weighted_evaluator.h
738 Bytes
ext
optional.hh
84.0 kB
tree.hh
80.4 kB
tree_util.hh
2.6 kB
heuristic.cc
3.5 kB
heuristic.h
2.9 kB
heuristics
additive_heuristic.cc
5.8 kB
additive_heuristic.h
2.7 kB
array_pool.h
1.8 kB
blind_search_heuristic.cc
1.8 kB
blind_search_heuristic.h
416 Bytes
cea_heuristic.cc
17.6 kB
cea_heuristic.h
2.0 kB
cg_cache.cc
4.5 kB
cg_cache.h
1.8 kB
cg_heuristic.cc
12.6 kB
cg_heuristic.h
1.4 kB
domain_transition_graph.cc
11.9 kB
domain_transition_graph.h
4.3 kB
ff_heuristic.cc
3.3 kB
ff_heuristic.h
1.2 kB
goal_count_heuristic.cc
1.5 kB
goal_count_heuristic.h
359 Bytes
hm_heuristic.cc
8.5 kB
hm_heuristic.h
1.9 kB
lm_cut_heuristic.cc
1.8 kB
lm_cut_heuristic.h
535 Bytes
lm_cut_landmarks.cc
13.0 kB
lm_cut_landmarks.h
4.0 kB
max_heuristic.cc
4.4 kB
max_heuristic.h
1.1 kB
relaxation_heuristic.cc
11.1 kB
relaxation_heuristic.h
3.7 kB
landmarks
exploration.cc
12.1 kB
exploration.h
3.8 kB
landmark_cost_assignment.cc
8.7 kB
landmark_cost_assignment.h
2.3 kB
landmark_count_heuristic.cc
16.0 kB
landmark_count_heuristic.h
1.9 kB
landmark_factory.cc
11.2 kB
landmark_factory.h
2.4 kB
landmark_factory_h_m.cc
37.1 kB
landmark_factory_h_m.h
5.2 kB
landmark_factory_merged.cc
6.9 kB
landmark_factory_merged.h
679 Bytes
landmark_factory_reasonable_orders_hps.cc
18.4 kB
landmark_factory_reasonable_orders_hps.h
1.1 kB
landmark_factory_relaxation.cc
7.6 kB
landmark_factory_relaxation.h
2.1 kB
landmark_factory_rpg_exhaust.cc
2.7 kB
landmark_factory_rpg_exhaust.h
656 Bytes
landmark_factory_rpg_sasp.cc
28.5 kB
landmark_factory_rpg_sasp.h
3.3 kB
landmark_factory_zhu_givan.cc
12.0 kB
landmark_factory_zhu_givan.h
3.3 kB
landmark_graph.cc
7.1 kB
landmark_graph.h
6.2 kB
landmark_status_manager.cc
6.4 kB
landmark_status_manager.h
1.8 kB
util.cc
4.4 kB
util.h
730 Bytes
lp
lp_internals.cc
5.4 kB
lp_internals.h
998 Bytes
lp_solver.cc
15.3 kB
lp_solver.h
6.7 kB
merge_and_shrink
distances.cc
12.9 kB
distances.h
2.3 kB
factored_transition_system.cc
8.5 kB
factored_transition_system.h
6.9 kB
fts_factory.cc
17.9 kB
fts_factory.h
819 Bytes
label_equivalence_relation.cc
5.2 kB
label_equivalence_relation.h
3.5 kB
label_reduction.cc
15.9 kB
label_reduction.h
2.7 kB
labels.cc
1.8 kB
labels.h
1.1 kB
merge_and_shrink_algorithm.cc
20.0 kB
merge_and_shrink_algorithm.h
2.2 kB
merge_and_shrink_heuristic.cc
10.5 kB
merge_and_shrink_heuristic.h
978 Bytes
merge_and_shrink_representation.cc
4.6 kB
merge_and_shrink_representation.h
2.7 kB
merge_scoring_function.cc
949 Bytes
merge_scoring_function.h
920 Bytes
merge_scoring_function_dfp.cc
5.4 kB
merge_scoring_function_dfp.h
891 Bytes
merge_scoring_function_goal_relevance.cc
1.9 kB
merge_scoring_function_goal_relevance.h
815 Bytes
merge_scoring_function_miasm.cc
6.3 kB
merge_scoring_function_miasm.h
1.0 kB
merge_scoring_function_miasm_utils.cc
4.0 kB
merge_scoring_function_miasm_utils.h
711 Bytes
merge_scoring_function_single_random.cc
1.9 kB
merge_scoring_function_single_random.h
1.1 kB
merge_scoring_function_total_order.cc
9.3 kB
merge_scoring_function_total_order.h
1.6 kB
merge_selector.cc
2.0 kB
merge_selector.h
953 Bytes
merge_selector_score_based_filtering.cc
4.1 kB
merge_selector_score_based_filtering.h
1.3 kB
merge_strategy.cc
172 Bytes
merge_strategy.h
2.1 kB
merge_strategy_factory.cc
548 Bytes
merge_strategy_factory.h
781 Bytes
merge_strategy_factory_precomputed.cc
2.5 kB
merge_strategy_factory_precomputed.h
943 Bytes
merge_strategy_factory_sccs.cc
8.1 kB
merge_strategy_factory_sccs.h
1.1 kB
merge_strategy_factory_stateless.cc
2.6 kB
merge_strategy_factory_stateless.h
923 Bytes
merge_strategy_precomputed.cc
690 Bytes
merge_strategy_precomputed.h
559 Bytes
merge_strategy_sccs.cc
3.0 kB
merge_strategy_sccs.h
1.2 kB
merge_strategy_stateless.cc
431 Bytes
merge_strategy_stateless.h
582 Bytes
merge_tree.cc
10.0 kB
merge_tree.h
4.2 kB
merge_tree_factory.cc
2.8 kB
merge_tree_factory.h
1.5 kB
merge_tree_factory_linear.cc
5.2 kB
merge_tree_factory_linear.h
1.2 kB
shrink_bisimulation.cc
16.7 kB
shrink_bisimulation.h
1.5 kB
shrink_bucket_based.cc
4.0 kB
shrink_bucket_based.h
2.0 kB
shrink_fh.cc
9.1 kB
shrink_fh.h
1.7 kB
shrink_random.cc
1.3 kB
shrink_random.h
799 Bytes
shrink_strategy.cc
652 Bytes
shrink_strategy.h
1.6 kB
transition_system.cc
22.0 kB
transition_system.h
7.4 kB
types.cc
214 Bytes
types.h
749 Bytes
utils.cc
8.1 kB
utils.h
2.7 kB
open_list.h
5.1 kB
open_list_factory.cc
450 Bytes
open_list_factory.h
738 Bytes
open_lists
alternation_open_list.cc
5.1 kB
alternation_open_list.h
575 Bytes
best_first_open_list.cc
4.5 kB
best_first_open_list.h
685 Bytes
epsilon_greedy_open_list.cc
5.7 kB
epsilon_greedy_open_list.h
2.6 kB
pareto_open_list.cc
8.4 kB
pareto_open_list.h
545 Bytes
tiebreaking_open_list.cc
6.7 kB
tiebreaking_open_list.h
575 Bytes
type_based_open_list.cc
6.3 kB
type_based_open_list.h
1.2 kB
operator_cost.cc
1.9 kB
operator_cost.h
362 Bytes
operator_counting
constraint_generator.cc
421 Bytes
constraint_generator.h
2.0 kB
lm_cut_constraints.cc
3.0 kB
lm_cut_constraints.h
714 Bytes
operator_counting_heuristic.cc
5.1 kB
operator_counting_heuristic.h
714 Bytes
pho_constraints.cc
3.3 kB
pho_constraints.h
908 Bytes
state_equation_constraints.cc
6.7 kB
state_equation_constraints.h
1.4 kB
operator_id.cc
229 Bytes
operator_id.h
1.6 kB
option_parser.h
566 Bytes
option_parser_util.h
469 Bytes
options
any.h
4.7 kB
bounds.cc
475 Bytes
bounds.h
413 Bytes
doc_printer.cc
9.2 kB
doc_printer.h
3.5 kB
doc_utils.cc
719 Bytes
doc_utils.h
4.0 kB
errors.cc
891 Bytes
errors.h
1.1 kB
option_parser.cc
7.5 kB
option_parser.h
14.9 kB
options.cc
441 Bytes
options.h
2.1 kB
parse_tree.h
1.8 kB
plugin.cc
268 Bytes
plugin.h
2.6 kB
predefinitions.h
1.4 kB
raw_registry.cc
1.6 kB
raw_registry.h
1.7 kB
registries.cc
9.8 kB
registries.h
4.0 kB
type_namer.h
2.1 kB
pdbs
canonical_pdbs.cc
1.2 kB
canonical_pdbs.h
507 Bytes
canonical_pdbs_heuristic.cc
4.6 kB
canonical_pdbs_heuristic.h
627 Bytes
dominance_pruning.cc
7.9 kB
dominance_pruning.h
482 Bytes
incremental_canonical_pdbs.cc
2.4 kB
incremental_canonical_pdbs.h
2.0 kB
match_tree.cc
7.2 kB
match_tree.h
1.7 kB
pattern_cliques.cc
3.2 kB
pattern_cliques.h
3.0 kB
pattern_collection_generator_combo.cc
1.9 kB
pattern_collection_generator_combo.h
638 Bytes
pattern_collection_generator_genetic.cc
14.8 kB
pattern_collection_generator_genetic.h
4.8 kB
pattern_collection_generator_hillclimbing.cc
29.5 kB
pattern_collection_generator_hillclimbing.h
5.7 kB
pattern_collection_generator_manual.cc
1.2 kB
pattern_collection_generator_manual.h
624 Bytes
pattern_collection_generator_systematic.cc
11.0 kB
pattern_collection_generator_systematic.h
1.7 kB
pattern_collection_information.cc
3.2 kB
pattern_collection_information.h
1.8 kB
pattern_database.cc
11.6 kB
pattern_database.h
6.5 kB
pattern_generator.cc
350 Bytes
pattern_generator.h
607 Bytes
pattern_generator_greedy.cc
2.1 kB
pattern_generator_greedy.h
529 Bytes
pattern_generator_manual.cc
1.1 kB
pattern_generator_manual.h
496 Bytes
pattern_information.cc
959 Bytes
pattern_information.h
1.2 kB
pdb_heuristic.cc
1.9 kB
pdb_heuristic.h
920 Bytes
plugin_group.cc
135 Bytes
types.h
562 Bytes
utils.cc
2.0 kB
utils.h
1.3 kB
validation.cc
1.9 kB
validation.h
322 Bytes
zero_one_pdbs.cc
2.1 kB
zero_one_pdbs.h
844 Bytes
zero_one_pdbs_heuristic.cc
2.7 kB
zero_one_pdbs_heuristic.h
462 Bytes
per_state_array.h
5.2 kB
per_state_bitset.cc
2.2 kB
per_state_bitset.h
1.5 kB
per_state_information.h
6.4 kB
per_task_information.h
2.3 kB
plan_manager.cc
4.3 kB
plan_manager.h
1.2 kB
planner.cc
2.2 kB
plugin.h
444 Bytes
potentials
diverse_potential_heuristics.cc
6.0 kB
diverse_potential_heuristics.h
2.0 kB
plugin_group.cc
141 Bytes
potential_function.cc
800 Bytes
potential_function.h
650 Bytes
potential_heuristic.cc
536 Bytes
potential_heuristic.h
648 Bytes
potential_max_heuristic.cc
610 Bytes
potential_max_heuristic.h
659 Bytes
potential_optimizer.cc
8.2 kB
potential_optimizer.h
2.4 kB
sample_based_potential_heuristics.cc
2.8 kB
single_potential_heuristics.cc
2.1 kB
util.cc
5.3 kB
util.h
616 Bytes
pruning
null_pruning_method.cc
772 Bytes
null_pruning_method.h
462 Bytes
stubborn_sets.cc
8.3 kB
stubborn_sets.h
4.5 kB
stubborn_sets_atom_centric.cc
11.6 kB
stubborn_sets_atom_centric.h
2.3 kB
stubborn_sets_ec.cc
13.6 kB
stubborn_sets_ec.h
1.7 kB
stubborn_sets_simple.cc
4.5 kB
stubborn_sets_simple.h
1.3 kB
pruning_method.cc
381 Bytes
pruning_method.h
680 Bytes
search_engine.cc
8.7 kB
search_engine.h
2.9 kB
search_engines
eager_search.cc
12.8 kB
eager_search.h
1.5 kB
enforced_hill_climbing_search.cc
11.0 kB
enforced_hill_climbing_search.h
1.8 kB
iterated_search.cc
7.8 kB
iterated_search.h
1.3 kB
lazy_search.cc
8.6 kB
lazy_search.h
1.7 kB
plugin_astar.cc
3.1 kB
plugin_eager.cc
1.1 kB
plugin_eager_greedy.cc
3.2 kB
plugin_eager_wastar.cc
1.7 kB
plugin_lazy.cc
1.2 kB
plugin_lazy_greedy.cc
3.4 kB
plugin_lazy_wastar.cc
4.1 kB
search_common.cc
4.9 kB
search_common.h
2.9 kB
search_node_info.cc
442 Bytes
search_node_info.h
592 Bytes
search_progress.cc
1.8 kB
search_progress.h
1.3 kB
search_space.cc
5.9 kB
search_space.h
1.6 kB
search_statistics.cc
3.0 kB
search_statistics.h
3.5 kB
state_id.cc
204 Bytes
state_id.h
999 Bytes
state_registry.cc
5.5 kB
state_registry.h
10.0 kB
task_id.h
817 Bytes
task_proxy.cc
2.1 kB
task_proxy.h
25.8 kB
task_utils
causal_graph.cc
7.0 kB
causal_graph.h
4.0 kB
sampling.cc
3.4 kB
sampling.h
1.5 kB
successor_generator.cc
676 Bytes
successor_generator.h
815 Bytes
successor_generator_factory.cc
9.8 kB
successor_generator_factory.h
1.0 kB
successor_generator_internals.cc
7.1 kB
successor_generator_internals.h
3.1 kB
task_properties.cc
5.9 kB
task_properties.h
2.5 kB
variable_order_finder.cc
4.4 kB
variable_order_finder.h
1.1 kB
tasks
cost_adapted_task.cc
1.8 kB
cost_adapted_task.h
962 Bytes
delegating_task.cc
3.9 kB
delegating_task.h
3.1 kB
domain_abstracted_task.cc
3.1 kB
domain_abstracted_task.h
2.2 kB
domain_abstracted_task_factory.cc
5.3 kB
domain_abstracted_task_factory.h
551 Bytes
modified_goals_task.cc
417 Bytes
modified_goals_task.h
527 Bytes
modified_operator_costs_task.cc
662 Bytes
modified_operator_costs_task.h
551 Bytes
root_task.cc
17.7 kB
root_task.h
238 Bytes
utils
collections.h
4.9 kB
countdown_timer.cc
712 Bytes
countdown_timer.h
363 Bytes
exceptions.h
226 Bytes
hash.h
9.7 kB
language.h
255 Bytes
logging.cc
2.6 kB
logging.h
1.7 kB
markup.cc
1.8 kB
markup.h
640 Bytes
math.cc
1.3 kB
math.h
651 Bytes
memory.cc
1.0 kB
memory.h
1.0 kB
rng.cc
855 Bytes
rng.h
1.4 kB
rng_options.cc
900 Bytes
rng_options.h
579 Bytes
strings.cc
1.1 kB
strings.h
1.1 kB
system.cc
1.7 kB
system.h
1.8 kB
system_unix.cc
8.5 kB
system_unix.h
64 Bytes
system_windows.cc
2.2 kB
system_windows.h
435 Bytes
timer.cc
2.9 kB
timer.h
829 Bytes
translate
axiom_rules.py
15.8 kB
build_model.py
13.1 kB
constraints.py
5.6 kB
fact_groups.py
4.7 kB
graph.py
1.3 kB
greedy_join.py
4.3 kB
instantiate.py
3.7 kB
invariant_finder.py
6.1 kB
invariants.py
17.2 kB
normalize.py
16.1 kB
options.py
3.2 kB
pddl
__init__.py
1.0 kB
actions.py
5.4 kB
axioms.py
2.6 kB
conditions.py
11.1 kB
effects.py
7.0 kB
f_expression.py
3.5 kB
functions.py
542 Bytes
pddl_types.py
2.3 kB
predicates.py
278 Bytes
tasks.py
2.4 kB
pddl_parser
__init__.py
28 Bytes
lisp_parser.py
1.4 kB
parsing_functions.py
18.7 kB
pddl_file.py
1.3 kB
pddl_to_prolog.py
7.4 kB
regression-tests
README
437 Bytes
issue34-domain.pddl
11.5 kB
issue34-problem.pddl
1.8 kB
issue405-domain.pddl
1.1 kB
issue405-problem.pddl
188 Bytes
issue49-falsegoal-domain.pddl
204 Bytes
issue49-falsegoal-problem.pddl
128 Bytes
issue49-orig-domain.pddl
86.4 kB
issue49-orig-problem.pddl
7.4 kB
issue49-truegoal-domain.pddl
204 Bytes
issue49-truegoal-problem.pddl
123 Bytes
issue58-domain.pddl
535 Bytes
issue58-problem.pddl
135 Bytes
issue7-domain.pddl
3.2 kB
issue7-problem.pddl
1.1 kB
issue73-domain.pddl
67.9 kB
issue73-problem.pddl
796 Bytes
sas_tasks.py
18.1 kB
sccs.py
4.8 kB
simplify.py
20.1 kB
split_rules.py
2.6 kB
tests
__init__.py
0 Bytes
test_normalization.py
1.5 kB
test_scripts.py
790 Bytes
timers.py
732 Bytes
tools.py
1.1 kB
translate.py
31.0 kB
variable_order.py
11.6 kB
symk
.github
workflows
linux_build.yml
544 Bytes
macos_build.yml
539 Bytes
CONTRIBUTORS
1.9 kB
LICENSE.md
35.2 kB
README.md
6.7 kB
build.py
5.0 kB
build_configs.py
308 Bytes
driver
__init__.py
33 Bytes
aliases.py
7.9 kB
arguments.py
19.9 kB
call.py
2.7 kB
cleanup.py
346 Bytes
limits.py
2.9 kB
main.py
2.1 kB
plan_manager.py
4.3 kB
portfolio_runner.py
9.5 kB
portfolios
seq_opt_fdss_1.py
930 Bytes
seq_opt_fdss_2.py
948 Bytes
seq_opt_merge_and_shrink.py
706 Bytes
seq_sat_fdss_1.py
3.5 kB
seq_sat_fdss_2.py
2.5 kB
seq_sat_fdss_2014.py
8.5 kB
seq_sat_fdss_2018.py
19.7 kB
returncodes.py
3.5 kB
run_components.py
7.4 kB
tests.py
2.4 kB
util.py
1.2 kB
version.py
106 Bytes
fast-downward.py
96 Bytes
src
CMakeLists.txt
2.8 kB
cmake_modules
FastDownwardMacros.cmake
9.7 kB
FindClp.cmake
1.7 kB
FindCplex.cmake
6.7 kB
FindOSI.cmake
4.8 kB
FindSoplex.cmake
2.0 kB
dd_libs
cudd-3.0.0
Doxyfile.in
104.3 kB
LICENSE
1.5 kB
Makefile.am
1.2 kB
README
4.4 kB
RELEASE.NOTES
13.8 kB
build-aux
ar-lib
5.8 kB
compile
7.3 kB
config.guess
42.9 kB
config.sub
35.8 kB
depcomp
23.6 kB
install-sh
14.0 kB
ltmain.sh
283.7 kB
missing
6.9 kB
tap-driver.sh
19.5 kB
config.h.in
5.1 kB
configure.ac
6.3 kB
cplusplus
Included.am
1.5 kB
cuddObj.cc
123.4 kB
cuddObj.hh
29.6 kB
multi.out
1.1 kB
test.out
12.4 kB
test_obj.test.in
2.1 kB
testmulti.cc
6.4 kB
testobj.cc
24.8 kB
cudd
Included.am
2.2 kB
cudd.h
48.6 kB
cuddAPI.c
105.0 kB
cuddAddAbs.c
19.0 kB
cuddAddApply.c
25.8 kB
cuddAddFind.c
8.0 kB
cuddAddInv.c
6.1 kB
cuddAddIte.c
15.4 kB
cuddAddNeg.c
7.7 kB
cuddAddWalsh.c
10.7 kB
cuddAndAbs.c
10.4 kB
cuddAnneal.c
19.7 kB
cuddApa.c
26.6 kB
cuddApprox.c
65.1 kB
cuddBddAbs.c
20.3 kB
cuddBddCorr.c
12.2 kB
cuddBddIte.c
34.0 kB
cuddBridge.c
23.2 kB
cuddCache.c
23.9 kB
cuddCheck.c
24.0 kB
cuddClip.c
14.5 kB
cuddCof.c
14.1 kB
cuddCompose.c
44.9 kB
cuddDecomp.c
59.8 kB
cuddEssent.c
40.0 kB
cuddExact.c
24.9 kB
cuddExport.c
46.0 kB
cuddGenCof.c
57.1 kB
cuddGenetic.c
26.7 kB
cuddGroup.c
57.0 kB
cuddHarwell.c
15.7 kB
cuddInit.c
8.6 kB
cuddInt.h
49.6 kB
cuddInteract.c
11.0 kB
cuddLCache.c
34.5 kB
cuddLevelQ.c
14.6 kB
cuddLinear.c
35.2 kB
cuddLiteral.c
7.7 kB
cuddMatMult.c
18.7 kB
cuddPriority.c
54.9 kB
cuddRead.c
16.9 kB
cuddRef.c
17.1 kB
cuddReorder.c
54.6 kB
cuddSat.c
45.2 kB
cuddSign.c
9.1 kB
cuddSolve.c
9.7 kB
cuddSplit.c
17.9 kB
cuddSubsetHB.c
40.7 kB
cuddSubsetSP.c
53.5 kB
cuddSymmetry.c
46.8 kB
cuddTable.c
92.3 kB
cuddUtil.c
102.1 kB
cuddWindow.c
24.5 kB
cuddZddCount.c
8.2 kB
cuddZddFuncs.c
36.2 kB
cuddZddGroup.c
35.7 kB
cuddZddIsop.c
24.0 kB
cuddZddLin.c
25.6 kB
cuddZddMisc.c
6.6 kB
cuddZddPort.c
9.6 kB
cuddZddReord.c
40.1 kB
cuddZddSetop.c
23.8 kB
cuddZddSymm.c
43.4 kB
cuddZddUtil.c
30.4 kB
extra.out
2.6 kB
r7x8.1.mat
316 Bytes
r7x8.1.out
7.1 kB
test_cudd.test.in
1.8 kB
testcudd.c
31.6 kB
testextra.c
14.0 kB
dddmp
Included.am
2.2 kB
README.dddmp
1.5 kB
README.testdddmp
2.3 kB
RELEASE_NOTES
2.1 kB
dddmp.h
13.2 kB
dddmpBinary.c
9.7 kB
dddmpConvert.c
6.3 kB
dddmpDbg.c
5.2 kB
dddmpInt.h
8.1 kB
dddmpLoad.c
45.1 kB
dddmpLoadCnf.c
30.1 kB
dddmpNodeAdd.c
12.2 kB
dddmpNodeBdd.c
12.1 kB
dddmpNodeCnf.c
25.1 kB
dddmpStoreAdd.c
28.4 kB
dddmpStoreBdd.c
33.2 kB
dddmpStoreCnf.c
48.0 kB
dddmpStoreMisc.c
45.3 kB
dddmpUtil.c
10.7 kB
doc
cmdIndex.html
160 Bytes
commands.html
248 Bytes
credit.html
455 Bytes
dddmp-2.0-A4.ps
64.7 kB
dddmp-2.0-Letter.ps
64.6 kB
dddmpAllAbs.html
23.4 kB
dddmpAllByFile.html
320 Bytes
dddmpAllByFunc.html
319 Bytes
dddmpAllDet.html
127.9 kB
dddmpAllFile.html
32.2 kB
dddmpDesc.html
600 Bytes
dddmpDoc.txt
32.8 kB
dddmpExt.html
319 Bytes
dddmpExtAbs.html
4.2 kB
dddmpExtDet.html
27.9 kB
dddmpTitle.html
437 Bytes
packages.html
248 Bytes
pkgIndex.html
357 Bytes
exp
0.add
254 Bytes
0.bdd
228 Bytes
0or1.bdd
2.3 kB
1.add
727 Bytes
1.bdd
1.8 kB
2.bdd
2.0 kB
2and3.bdd
1.6 kB
3.bdd
5.1 kB
4.bdd
1.0 kB
4.bdd.bis1
2.0 kB
4.bdd.bis2
2.0 kB
4.bdd.bis3
2.0 kB
4.bdd.bis4
2.0 kB
4.cnf
2.2 kB
4.cnf.bis
3.2 kB
4.max1
4.2 kB
4.max2
4.2 kB
4bis.bdd
556 Bytes
4xor5.bdd
2.3 kB
5.bdd
452 Bytes
composeids.txt
75 Bytes
one.bdd
125 Bytes
s27RP1.bdd
190 Bytes
s27deltaDddmp1.bdd
402 Bytes
s27deltaDddmp1.bdd.bis
447 Bytes
s27deltaDddmp2.bdd
459 Bytes
test1.sh.in
668 Bytes
test2.sh.in
959 Bytes
test3.sh.in
1.3 kB
test4.sh.in
1.3 kB
test5.sh.in
1.1 kB
test6.sh.in
1.3 kB
test7.sh.in
3.4 kB
varauxids.ord
195 Bytes
varnames.ord
241 Bytes
zero.bdd
139 Bytes
libdddmp.la
872 Bytes
test_dddmp.test.in
246 Bytes
testdddmp.c
66.7 kB
doc
Included.am
485 Bytes
cudd.tex.in
97.5 kB
phase.pdf
18.0 kB
epd
Included.am
60 Bytes
epd.c
23.0 kB
epd.h
4.7 kB
epdInt.h
4.3 kB
groups.dox
759 Bytes
m4
libtool.m4
286.8 kB
ltoptions.m4
12.3 kB
ltsugar.m4
4.4 kB
ltversion.m4
690 Bytes
lt~obsolete.m4
6.1 kB
modern_cxx.m4
454 Bytes
w32.m4
405 Bytes
mtr
Included.am
535 Bytes
mtr.h
5.4 kB
mtrBasic.c
9.5 kB
mtrGroup.c
24.5 kB
mtrInt.h
4.8 kB
test.groups
30 Bytes
test.out
3.3 kB
test_mtr.test.in
856 Bytes
testmtr.c
8.1 kB
nanotrav
C17.blif
327 Bytes
C17.out
2.6 kB
C880.blif
18.4 kB
C880.out
4.0 kB
Included.am
1.7 kB
README
1.6 kB
adj49.blif
3.8 kB
adj49.out
5.3 kB
bnet.c
57.6 kB
bnet.h
7.9 kB
chkMterm.c
7.1 kB
closest.blif
118 Bytes
closest.out
4.3 kB
ham01.blif
477 Bytes
ham01.out
2.6 kB
main.c
42.5 kB
miniFirst.blif
97 Bytes
miniFirst.out
3.1 kB
miniSecond.blif
77 Bytes
mult32a.blif
7.7 kB
mult32a.out
8.0 kB
nanotrav.1
14.3 kB
ntr.c
80.1 kB
ntr.h
13.4 kB
ntrBddTest.c
60.5 kB
ntrHeap.c
9.3 kB
ntrMflow.c
56.5 kB
ntrShort.c
17.0 kB
ntrZddTest.c
13.1 kB
rcn25.blif
3.7 kB
rcn25.out
24.0 kB
s27.blif
351 Bytes
s27.out
2.8 kB
s27b.blif
281 Bytes
s27b.out
2.7 kB
s27c.blif
177 Bytes
s27c.out
3.1 kB
s382.blif
7.4 kB
s382.out
127.5 kB
s641.blif
10.3 kB
s641.out
45.9 kB
test_ntrv.test.in
2.7 kB
st
Included.am
402 Bytes
st.c
30.1 kB
st.h
8.9 kB
test_st.test.in
64 Bytes
testst.c
8.9 kB
util
Included.am
336 Bytes
cpu_stats.c
8.6 kB
cpu_time.c
4.3 kB
cstringstream.c
5.5 kB
cstringstream.h
5.4 kB
datalimit.c
3.1 kB
pathsearch.c
4.9 kB
pipefork.c
5.1 kB
prtime.c
3.1 kB
safe_mem.c
3.9 kB
strsav.c
2.9 kB
texpand.c
3.9 kB
ucbqsort.c
10.8 kB
util.h
6.7 kB
h2-preprocessor
CMakeLists.txt
711 Bytes
axiom.cc
2.0 kB
axiom.h
927 Bytes
causal_graph.cc
15.6 kB
causal_graph.h
2.0 kB
domain_transition_graph.cc
11.0 kB
domain_transition_graph.h
1.6 kB
h2_mutexes.cc
35.5 kB
h2_mutexes.h
5.4 kB
helper_functions.cc
9.1 kB
helper_functions.h
2.2 kB
max_dag.cc
3.5 kB
max_dag.h
403 Bytes
mutex_group.cc
4.0 kB
mutex_group.h
2.3 kB
operator.cc
13.8 kB
operator.h
4.0 kB
planner.cc
10.8 kB
scc.cc
2.5 kB
scc.h
1.3 kB
state.cc
1.1 kB
state.h
480 Bytes
successor_generator.cc
8.7 kB
successor_generator.h
950 Bytes
variable.cc
2.4 kB
variable.h
1.2 kB
search
CMakeLists.txt
4.7 kB
DownwardFiles.cmake
22.9 kB
abstract_task.cc
457 Bytes
abstract_task.h
4.0 kB
axioms.cc
7.8 kB
axioms.h
2.2 kB
command_line.cc
6.8 kB
command_line.h
557 Bytes
evaluation_context.cc
2.4 kB
evaluation_context.h
4.2 kB
evaluation_result.cc
987 Bytes
evaluation_result.h
1.7 kB
evaluator.cc
2.8 kB
evaluator.h
3.3 kB
evaluator_cache.cc
307 Bytes
evaluator_cache.h
893 Bytes
global_state.cc
1.1 kB
global_state.h
1.3 kB
heuristic.cc
3.6 kB
heuristic.h
3.1 kB
mutex_group.cc
1.3 kB
mutex_group.h
846 Bytes
open_list.h
5.1 kB
open_list_factory.cc
450 Bytes
open_list_factory.h
738 Bytes
operator_cost.cc
1.9 kB
operator_cost.h
362 Bytes
operator_id.cc
229 Bytes
operator_id.h
1.7 kB
option_parser.h
566 Bytes
option_parser_util.h
469 Bytes
per_state_array.h
5.0 kB
per_state_bitset.cc
2.2 kB
per_state_bitset.h
1.5 kB
per_state_information.h
5.8 kB
per_task_information.h
2.3 kB
plan_manager.cc
3.1 kB
plan_manager.h
1.2 kB
planner.cc
3.0 kB
plugin.h
444 Bytes
pruning_method.cc
856 Bytes
pruning_method.h
906 Bytes
search_engine.cc
7.0 kB
search_engine.h
2.7 kB
search_node_info.cc
442 Bytes
search_node_info.h
592 Bytes