search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

terminar codificação do Sudoku #4

Closed arademaker closed 9 years ago

arademaker commented 9 years ago

terminar a codificação das regras gerais de sudoku (vide artigo http://sat.inesc-id.pt/~ines/publications/aimath06.pdf).

arademaker commented 9 years ago

macro big implementada. Exemplo de uso no arquivo sudoku.lisp. Falta ajudar as demais cláusulas para uso da macro e terminar ultima cláusula.

arademaker commented 9 years ago

@bernardorusso submeteu pull request com clausulas só não aceitei por conta de conflitos no branch master.

arademaker commented 9 years ago

este issue foi resolvido embora ainda tenhamos dúvidas se a apresentação do artigo está correta.