3 ms·
Oh, and here's a sudoku solver in 15 source lines with ASP: http://asparagus.cs.uni-potsdam.de/encoding/show/id/3540 http://asparagus.cs.uni-potsdam.de/encoding
by rndmcnlly0 15y ago
Oh, and here's a sudoku solver in 15 source lines with ASP: http://asparagus.cs.uni-potsdam.de/encoding/show/id/3540 http://asparagus.cs.uni-potsdam.de/encoding/show/id/3540
Also, a sudoku puzzle generator directly incorporating the unique solution constraint: http://asparagus.cs.uni-potsdam.de/encoding/show/id/12739 http://asparagus.cs.uni-potsdam.de/encoding/show/id/12739