#!/bin/bash

./waf distclean && ./waf configure && ./waf build
./build/default/src/icfp08 localhost 17676