3 ms·
Solving sudoku using CBMC: https://github.com/Shelwien/sudoku-cbmc https://github.com/Shelwien/sudoku-cbmc This is one of the nicest ways a C programmer can us
by 112233 4y ago
Solving sudoku using CBMC: https://github.com/Shelwien/sudoku-cbmc https://github.com/Shelwien/sudoku-cbmc
This is one of the nicest ways a C programmer can use SAT solver...