I published it with no extra dependencies! No need to git submodule add any longer! Just a regular old module install via luarocks: luarocks install TableSalt and require('TableSalt') as you do and you're good to go! I still need to update the documentation, but no worries I'll get to…
The optimization games continue with TableSalt. Last time I managed to get down to a cool 222ms/puzzle, but of course I'm gonna keep trying for that 100ms! This time the optimizations came from the forward checking algorithm and some of the code used in determining which variable has the…
A while back I wrote TableSalt - a constraint satisfaction framework written in [currently pure] lua. Every now and again I'll revisit it and try to make it run faster and get rid of any bugs found along the way. For benchmarking I use my SudokuSolver on a test of…