Certified_AC

loading
details
attribute current value
name Certified_AC
description no description
owning solver NaTT 1.6.2
contents
#!/bin/sh
DIR=${0%/*}
PATH=$DIR:$PATH
xsltproc "$DIR/xtc2tpdb.xsl" "$1" | NaTT.exe -v:0 -x:"$2/cpf.xml" --tcap --edge:1 POLO -c:t EDG POLO POLO -a:max POLO -a:mpol POLO --dim:2
cat $2/cpf.xml

back to NaTT 1.6.2