search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

Update sudoku.lisp #6

Closed bernardorusso closed 9 years ago

bernardorusso commented 9 years ago

Added clauses 4 to 8