default

loading
details
attribute current value
name default
description no description
owning solver Z3str4
contents 
#!/bin/sh

../z3 smt.string_solver=z3str3 smt.str.tactic=seqfirst smt.str.pre_milliseconds=4000 $1

back to Z3str4