certifiable

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

back to NaTT 2.1