search

tfbrito / MathemaGridsSolver

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

Corrigir Palavras #8

Closed martaaaa closed 9 years ago

martaaaa commented 9 years ago

Corrigir "Attivar" e "Select"