details

attribute	current value
name	default
description	no description
owning solver	Yaga_SMT-COMP-2023_presubmition

contents

#!/bin/sh

./smt $1

back to Yaga_SMT-COMP-2023_presubmition