c87d5379517fa181979809c2cf430c4cd38c9795
template-typescript
Default template for typescript projects
Description
A tool converting a given sudoku into DIMACS CNF to be solved with a SAT solver, and reverting the solution from the SAT solver back into an easy readable sudoku visualitsation
Languages
TypeScript
100%