default

details

attribute	current value
name	default
description	no description
owning solver	Z3str4 SMTCOMP 2021 v1.2

contents

#!/bin/sh

./z3str4-smtcomp2021 smt.string_solver=z3str3 smt.str.tactic=z3str4 -smt2 $1

back to Z3str4 SMTCOMP 2021 v1.2