details

attribute	current value
name	default.sh
description	no description
owning solver	mathsat-20190601

contents

#!/bin/sh

./mathsat $1

back to mathsat-20190601