Code

Add Sudoku example.#26

Code

Merged

wintersteiger merged 2 commits intoZ3Prover:masterZ3Prover/z3:masterfrom benlaurie:sudoku-in-c++benlaurie/z3:sudoku-in-c++Copy head branch name to clipboardOct 19, 2015

+78

Commits

Commits on Apr 5, 2015

• Add Sudoku example.

  benlaurie

  committed
  e8b8393

• Pull out the solver.

  benlaurie

  committed
  0f467eb