plaans / aries

Toolbox for automated planning and combinatorial solving.
MIT License
39 stars 5 forks source link

Refactoring: Use signed-variables and regroup all solver crates into a single `aries` crate #84

Closed arbimo closed 1 year ago