01-implement-own-solver

horczech / sudoku

Read numbers from sudoku image

1 stars 1 forks source link

01-implement-own-solver #2

Closed horczech closed 5 years ago

horczech commented 5 years ago

The current solver is written using the solver written in C++ called using the command line. Write own solver in python using the declarative programming.

horczech commented 5 years ago

What is SAT?

Boolean satisfiability problem
Describe problem using boolean formula using variables (x1,x2, .. ), AND, OR, NOT

What is CNF?

Conjunctive normal form
format of the boolean formula
to be CNF it must be one or more clauses glued together using the conjunction aka AND

Sources:

https://en.wikipedia.org/wiki/Boolean_satisfiability_problem
https://www.youtube.com/watch?v=x-Ik9YAFAPo

horczech commented 5 years ago

DOOOOOOONE !!!