default

loading
details
attribute current value
name default
description no description
owning solver Z3-Noodler
contents 
#!/bin/sh
./z3-noodler smt.string_solver="noodler" $1

back to Z3-Noodler