typedb-driver-examples icon indicating copy to clipboard operation
typedb-driver-examples copied to clipboard

Port grakn sudoku-solver example

Open krishnangovindraj opened this issue 1 year ago • 4 comments

What is the goal of this PR?

Port the grakn sudoku-solver to typeql and add as an example. Distill the schema & queries to the most basic form which also works with the reasoner planner's cost model.

What are the changes implemented in this PR?

  • Port the schema & data files to typeql
  • Port the java driver to python & update the embedded queries to typeql
  • Simplify & Optimise the schema & queries.

krishnangovindraj avatar Feb 20 '23 12:02 krishnangovindraj