search

tfbrito / MathemaGridsSolver

Use of Z3 smt solver with Python api to solve the MathemasGrid puzzle
3 stars 0 forks source link

[GUI/Main] Hints #6

Closed tfbrito closed 9 years ago

tfbrito commented 9 years ago

Ao usar as hints por vezes fica preso no ciclo

tfbrito commented 9 years ago

Em teste...

tfbrito commented 9 years ago

Penso estar resolvido :)