GitHub repository: plaans/aries
Primary language: Rust
Description: Toolbox for automated planning and combinatorial solving.