/Sudoku-BMC

A sudoku solver based on NuSMV bounded model checker.

Primary LanguagePython

Watchers