Improvements to solver performance: new tautology reasoner

plaans / aries

Toolbox for automated planning and combinatorial solving.

MIT License

43 stars 7 forks source link

Closed arbimo closed 10 months ago

arbimo commented 10 months ago

feat: Add a new tautology reasoner that avoids solver restarts when enforcing new facts.
optim: Make the forward solver only do bound propagation (faster)
feat: add env-param to considers real state variables as ints