GitHub repository: trash4299/Sudoku-Solver-Nexys
Primary language: Coq
Created: 2019-07-16T19:44:58Z
Description: Sudoku Solver FPGA build using the Nexys Video board