Fixed a bug in the RPO + AF SAT encoding
Fixed a bug in the RPO + AF SAT encoding

Apparently memoizing greater-or-equal RPO
constraints messes things up.
But I'm not sure of why.

pepeiborra/narradar,pepeiborra/narradar,pepeiborra/narradar