details

attribute	current value
name	default
description	no description
owning solver	solsmt-2022-27261f6703

contents

#!/bin/sh
./solsmt "$1"

back to solsmt-2022-27261f6703