search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

Conforme proposto #16

Closed bernardorusso closed 9 years ago

bernardorusso commented 9 years ago

sudoku-1 é a implementação da versão alternativa das cláusulas "at most" do sudoku

arademaker commented 9 years ago

conforme falamos, precisamos ter uma forma de verificar se (clauses-2) é equiv a (clauses-2-b).