Certifiable

loading
details
attribute current value
name Certifiable
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
cat $2/cpf.xml

back to NaTT 1.6.2