search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

Paulodt patch 2 #15

Closed paulodt closed 9 years ago

paulodt commented 9 years ago

Professor, criei a função "sudoku", que recebe a resposta final do "prove" e retorna os valores. A função possui um bug.

arademaker commented 9 years ago

vou aceitar quando não tiver bug!