details

attribute	current value
name	default
description	no description
owning solver	solsmt-07de43b312fe051e998

contents

#!/bin/bash

./solsmt "$1"

back to solsmt-07de43b312fe051e998