search

plaans / aries

Toolbox for automated planning and combinatorial solving.
MIT License
43 stars 6 forks source link

Provide standalone propagate method #11

Closed arbimo closed 3 years ago

arbimo commented 3 years ago

Currently we only provide a propagate_and_backtrack_to_consistent method that not very adapted for exploratory uses and tests.