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 Jun 22 2023
disk size 29.41 MB
build status uploaded built
configurations
name description
default no description

actions get anonymous link download

Compute nodes for all.q are being upgraded. Use new.q for now.More Information