fix(sat): derived clause were incorretly too strong in some corner cases - Githubissues

plaans / aries

Toolbox for automated planning and combinatorial solving.

MIT License

43 stars 7 forks source link

fix(sat): derived clause were incorretly too strong in some corner cases #136

Closed arbimo closed 3 months ago

arbimo commented 3 months ago

Solves a bug in explanation that resulted in overly strong clauses.

fix: #135