Nr digitos tabuleiro - Githubissues

tfbrito / MathemaGridsSolver

Use of Z3 smt solver with Python api to solve the MathemasGrid puzzle

3 stars 0 forks source link

Closed tfbrito closed 9 years ago

tfbrito commented 9 years ago

Colocar a permitir introduzir no tabuleiro números com dois digitos.

2x2 -> de 1 a 9 3x3 -> de 1 a 9 4x4 -> >10

tfbrito commented 9 years ago

Resolvido!