/pysmt_demos

Demonstrations of a Python Satisfiability Modulo Theory (SMT) solver in action used to solve Suko & Sudoku puzzles

Primary LanguagePython

pysmt_demos

© 2021 Dr Sebastien Sikora.

seb.nf.sikora@protonmail.com

Updated 29/09/2021.

What is it?

The suko demo is cribbed more-or-less directly from the nice walkthrough by David Cannings

The walkthrough shows us how we can define all the rules we need to solve a similar problem using the same solver, eg sudoku