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