search

uuverifiers / ostrich

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

Inconsistent satisfiability for some word equation problems #91

Open ChenchengLiang opened 2 months ago

ChenchengLiang commented 2 months ago

inconsistency.zip

These files are attached