Programming assignment - Minimal State Automation for Pressburger Arithmetic