projects / Benchmarks_CSolver.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
bug fix for odd-size tables
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.