|
| attribute |
value |
| name |
Z3-Noodler |
| description |
A Z3 solver with a new string solver based on efficient automata operations and stabilization based algorithm for solving word equations.
|
| owner |
Ondrej Lengal
|
| uploaded |
May 10 2023 |
| disk size |
29.34 MB |
| build status |
uploaded built |
|
