default

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

./mathsat "$1" 2>"$2"/error.log

back to MathSAT-5.6.8