VeriFIT / z3-noodler

The Z3-Noodler String Solver
Other
9 stars 5 forks source link

[WIP] Refactor preprocessing #154

Closed jurajsic closed 2 months ago

jurajsic commented 4 months ago

Some small refactoring of preprocessing that was done in #149, but was moved to its own PR.