feat(up): Create a separate aries-opt solver that guarantees optimality - Githubissues

plaans / aries

Toolbox for automated planning and combinatorial solving.

MIT License

39 stars 5 forks source link

feat(up): Create a separate aries-opt solver that guarantees optimality #112

Closed arbimo closed 7 months ago

arbimo commented 7 months ago

chore(deps): Update dependencies.
feat(up): Add AriesOpt class tha guarantees optimality.
chore(cp): Print minimal statistics in CP reasoner.
chore(up): Refactor the executable to accept subcommands for solving/serving.
chore: fix lints.
feat(up): add a new experimental script to help interacting with UP.