Z3-Noodler

loading
details

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
configurations
name description
default no description

actions get anonymous link download