search

plaans / aries

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

chore: update CI to rust 1.80 and fix new lints #146

Closed arbimo closed 1 month ago