Authors: Ashwin Kachhara, Sumeet Fefar IIT Bombay

Simulating sudoku as a SAT problem and using pycosat module for python as SAT solver

No of clauses passed to the SAT solver: 3259 in CNF format

Based on structure Sudoku -Element clauses -Row Clauses -Column Clauses -Block Clauses

Specific clauses -Given values in sudoku

Run time: 0.935s