|
| 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 |
2023-06-22 05:08:13.0 |
| disk size |
29.41 MB |
| build status |
uploaded built |
|
