
|
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 |
|