play_icfp2015

#!/bin/bash

root_dir="$(dirname "$0")"

export LD_LIBRARY_PATH="$root_dir/googlelib/glog/.libs${LD_LIBRARY_PATH:+:$LD_LIBRARY_PATH}"

exec "$root_dir/supervisors/shinku.py" \
  --logtosyslog=none \
  --use_state_of_the_art \
  --quick_solver=ai/simple_solvers/greedy_ai_3 \
  --quick_solver=ai/simple_solvers/trivial_solver \
  --heavy_solver=ai/simple_solvers/yasaka \
  --heavy_solver=ai/kamineko/kamineko \
  --extra_solver=ai/duralstarman/duralstarman \
  --extra_solver=ai/duralstarman/ds_3 \
  --extra_solver=ai/duralstarman/ds_5 \
  --extra_solver=ai/duralstarman/ds_7 \
  --extra_solver=ai/duralstarman/ds_13 \
  --extra_solver=ai/duralstarman/ds_19 \
  --rewriter=rewriter/rewrakkuma \
  --strip_extra_fields \
  --noreport \
  "$@"