details

attribute	current value
name	default.sh
description	no description
owning solver	MathSAT5

contents

#!/bin/sh

./mathsat $1

back to MathSAT5