search

VeriFIT / z3-noodler

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

Fixing axiomatization of predicates #177

Closed jurajsic closed 4 days ago

jurajsic commented 6 days ago

This should fix #175

jurajsic commented 4 days ago

This is not a way to go, it made nearly all sat formulae with conversions become unknown.