search

plaans / aries

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

Flat expressions (immediate reification) #15

Closed arbimo closed 2 years ago