default

loading
details
attribute current value
name default
description no description
owning solver OpenSMT
contents 
#!/bin/sh

#export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:../lib

./opensmt $1

back to OpenSMT