Fix invalid link to SMTLIB theory of strings

VeriFIT / z3-noodler

The Z3-Noodler String Solver

Other

6 stars 5 forks source link

Closed Adda0 closed 4 months ago

Adda0 commented 4 months ago

This PR fixes an invalid link to the theory of strings in SMTLIB in project README.md.