sebsikora / pysmt_demos

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

About

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


Languages

Language:Python 100.0%