Adding a parser for parsing the output of the auto tuner
[Benchmarks_CSolver.git] / sudoku-csolver /
2018-09-27 Hamed GorjiaraAdding a parser for parsing the output of the auto...
2018-09-21 Hamed Gorjiaraadding my local changes scratch
2018-09-06 Hamed GorjiaraDeleting unnecessary files
2018-09-06 Hamed GorjiaraBugfix for Sudoku solver + Using Glucose instead of...
2018-08-15 Hamed GorjiaraAdding new benchmarks for Sudoku + scripts for processi...
2018-08-09 Hamed GorjiaraAdding test cases for killer Sudoku and Hexiom
2018-08-05 Hamed GorjiaraAutomatic result generator
2018-08-04 Hamed GorjiaraScripts for running all the benchmarks + configurable...
2018-07-26 Hamed GorjiaraAdding validation function for Sudoku solutions
2018-07-26 Hamed GorjiaraAdding new encoding for nqueens (It has a bug) + code...
2018-07-25 Hamed GorjiaraChanging the API for Sudoku
2018-07-19 Hamed GorjiaraAdding 4 clients