search

uuverifiers / ostrich

An SMT Solver for string constraints
Other
33 stars 8 forks source link

[WIP] Use a separate Parikh Theory for handling length abstractions #46

Open amandasystems opened 3 years ago

amandasystems commented 3 years ago

This currently relies on the Scala 2.13 port.