Java/Z3 Solver for MathemaGrid