Skip to content

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

Notifications You must be signed in to change notification settings

sebsikora/pysmt_demos

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 

Repository files navigation

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

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages