projects / Benchmarks_CSolver.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
removing unnecessary files
2018-10-01 Hamed Gorjiararemoving unnecessary files
 commit | commitdiff | tree
2018-09-27 Hamed GorjiaraAdding a parser for parsing the output of the auto...
commit | commitdiff | tree
2018-09-21 Hamed Gorjiaraadding my local changes
 commit | commitdiff | tree
2018-09-07 Hamed GorjiaraMaking benchmarks as similar as possible to the original...
commit | commitdiff | tree
2018-09-06 Hamed GorjiaraBug fix: providing right number of variables for the...
commit | commitdiff | tree
2018-09-06 Hamed GorjiaraDeleting unnecessary files
 commit | commitdiff | tree
2018-09-06 Hamed GorjiaraEditing the script and .gitignore
 commit | commitdiff | tree
2018-09-06 Hamed GorjiaraFixing the script ...
 commit | commitdiff | tree
2018-09-06 Hamed GorjiaraNew dataset + Using Glucose instead of Pycosat
 commit | commitdiff | tree
2018-09-06 Hamed GorjiaraBugfix for Sudoku solver + Using Glucose instead of...
commit | commitdiff | tree
2018-08-15 Hamed GorjiaraAdding new benchmarks for Sudoku + scripts for processing...
commit | commitdiff | tree
2018-08-13 Hamed GorjiaraFixing the hexiom scrip
 commit | commitdiff | tree
2018-08-13 Hamed GorjiaraAdding more test cases for the Killer Sudoku
 commit | commitdiff | tree
2018-08-13 Hamed GorjiaraFixing killerSudoku ...
 commit | commitdiff | tree
2018-08-09 Hamed GorjiaraAdding test cases for killer Sudoku and Hexiom
 commit | commitdiff | tree
2018-08-08 Hamed GorjiaraPerformance improvement ...
 commit | commitdiff | tree
2018-08-08 Hamed GorjiaraFixing the hexiom bug for UNARY encoding
 commit | commitdiff | tree
2018-08-05 Hamed GorjiaraAutomatic result generator
 commit | commitdiff | tree
2018-08-05 Hamed Gorjiarabug fix for odd-size tables
 commit | commitdiff | tree
2018-08-04 Hamed GorjiaraSymmetry breaking constraint for CSolver encoding
 commit | commitdiff | tree
2018-08-04 Hamed GorjiaraAdding the symmetry breaking constraint to the original...
commit | commitdiff | tree
2018-08-04 Hamed GorjiaraScripts for running all the benchmarks + configurable...
commit | commitdiff | tree
2018-08-03 Hamed GorjiaraCsolver encoding is working fine for hard examples ...
 commit | commitdiff | tree
2018-08-01 Hamed GorjiaraMaking occupation constraint part of the element
 commit | commitdiff | tree
2018-08-01 Hamed GorjiaraUpdating the gitignore
 commit | commitdiff | tree
2018-08-01 Hamed GorjiaraAdding hexiom benchmark (Still has some bug)
 commit | commitdiff | tree
2018-07-26 Hamed GorjiaraPerformance improvement in nqueens
 commit | commitdiff | tree
2018-07-26 Hamed GorjiaraAdding timers for the sake of profiling
 commit | commitdiff | tree
2018-07-26 Hamed GorjiaraBug fix for onehot encoding
 commit | commitdiff | tree
2018-07-26 Hamed Gorjiarabug fix for nqueens
 commit | commitdiff | tree
2018-07-26 Hamed GorjiaraAdding validation function for Sudoku solutions
 commit | commitdiff | tree
2018-07-26 Hamed GorjiaraAdding new encoding for nqueens (It has a bug) + code...
commit | commitdiff | tree
2018-07-25 Hamed GorjiaraChanging the API for Sudoku
 commit | commitdiff | tree
2018-07-25 Hamed Gorjiarachanging API for nqueens
 commit | commitdiff | tree
2018-07-25 Hamed GorjiaraFixing the killer sudoku
 commit | commitdiff | tree
2018-07-19 Hamed GorjiaraMerge branch 'master' of ssh://demsky.eecs.uci.edu...
commit | commitdiff | tree
2018-07-19 Hamed GorjiaraAdding constraints for making the cells different in...
commit | commitdiff | tree
2018-07-19 Hamed GorjiaraAdding 4 clients
 commit | commitdiff | tree
Unnamed repository; edit this file 'description' to name the repository.