got almost everything working except scoring. Due to a bug in MINX it segfaults after a while.