arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

Solve sudoku #10

Closed bernardorusso closed 9 years ago

bernardorusso commented 9 years ago

@hcrespo e @bernardorusso