its

loading
details
attribute current value
name its
description no description
owning solver CoFloCo 2018
contents
#!/bin/sh

name=$(basename $1)
#cd $(dirname $0)
./koat2cfg_static $1 | ./cfg2ces_static stdin loop_cost_model add_outs slice -o $2/$name.ces > /dev/null
./cofloco_static -i $2/$name.ces -competition -n_candidates 2 -compress_chains 1

back to CoFloCo 2018