Propagate variable absence

plaans / aries

Toolbox for automated planning and combinatorial solving.

MIT License

43 stars 6 forks source link

Closed arbimo closed 3 years ago

arbimo commented 3 years ago

If a presence literal becomes itself absent then it should be set to false.

arbimo commented 3 years ago

Fixed with the integration of scoped variables.