AMD AI League team: Solver