details

attribute	current value
name	default
description	no description
owning solver	SMTRAT-MCSAT-4

contents

#!/bin/sh

./smtrat $1

back to SMTRAT-MCSAT-4