Certifiable

loading
details
attribute current value
name Certifiable
description no description
owning solver NaTT 1.6.1
contents
#!/bin/sh
DIR=${0%/*}
PATH=$DIR:$PATH
xsltproc "$DIR/xtc2tpdb.xml" "$1" | NaTT.exe -v:0 -x:"$2/cpf.xml" --tcap --edge:1
cat $2/cpf.xml

back to NaTT 1.6.1