|
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-05-26 08:55:48.0 |
disk size |
29.35 MB |
build status |
uploaded built |
|