autonon

loading
details
attribute current value
name autonon
description no description
owning solver AutoNon 1.21
contents
#!/bin/bash

LIB=./lib

FILE=$1
TRS=/tmp/autonon_`basename $FILE`.trs
xsltproc $LIB/xtc2tpdb.xsl $FILE > ./$TRS

java -cp jambox.jar:$LIB/automaton.jar:$LIB/glpk.jar -Djava.library.path=$LIB/ -Xmx16G jam.Main lib=$LIB/ ./$TRS

back to AutoNon 1.21