search

plaans / aries

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

Additional constraint programming module #37

Closed arbimo closed 1 year ago

arbimo commented 2 years ago

This introduces a new reasoner module that supports non standard constraints for which no theories are available (e.g. max, linear sum with optional variables, ...)