Skip to content

Commit

Permalink
Updated supported_kind.
Browse files Browse the repository at this point in the history
  • Loading branch information
speckdavid authored Oct 27, 2023
1 parent 28d3842 commit d720193
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion up_symk/symk.py
Original file line number Diff line number Diff line change
Expand Up @@ -114,7 +114,6 @@ def supported_kind() -> "ProblemKind":
supported_kind.set_effects_kind("FORALL_EFFECTS")
supported_kind.set_quality_metrics("ACTIONS_COST")
supported_kind.set_actions_cost_kind("STATIC_FLUENTS_IN_ACTIONS_COST")
supported_kind.set_actions_cost_kind("INT_NUMBERS_IN_ACTIONS_COST")
supported_kind.set_quality_metrics("PLAN_LENGTH")
supported_kind.set_quality_metrics("OVERSUBSCRIPTION")

Expand Down

0 comments on commit d720193

Please sign in to comment.