Add structured labeled on variables

plaans / aries

Toolbox for automated planning and combinatorial solving.

MIT License

43 stars 6 forks source link

Closed arbimo closed 2 years ago

arbimo commented 2 years ago

We should allow labels in a user provided type to allow the definition of informed branching heuristics.

[x] Theories should on require the Domains information and not need to create new varibles (move to an earlier decompose step)
[x] Remove the Label type.