default

loading
details
attribute current value
name default
description no description
owning solver NaTT 2.1
contents 
#!/bin/sh
DIR=${0%/*}
PATH=$DIR:$PATH
NaTT.exe $OPT "$1" 2> "$2/stderr.txt"
cat $2/stderr.txt

back to NaTT 2.1