Up
Rex
: Symbolic Regular Expression Explorer
Rex: Symbolic Regular Expression Explorer
solving
1
Based on
Z3
.
Sergey Vartanov, 2007–2020