Benchmarks_CSolver.git
2018-08-05 Hamed GorjiaraAutomatic result generator
2018-08-05 Hamed Gorjiarabug fix for odd-size tables
2018-08-04 Hamed GorjiaraSymmetry breaking constraint for CSolver encoding
2018-08-04 Hamed GorjiaraAdding the symmetry breaking constraint to the original...
2018-08-04 Hamed GorjiaraScripts for running all the benchmarks + configurable...
2018-08-03 Hamed GorjiaraCsolver encoding is working fine for hard examples ...
2018-08-01 Hamed GorjiaraMaking occupation constraint part of the element
2018-08-01 Hamed GorjiaraUpdating the gitignore
2018-08-01 Hamed GorjiaraAdding hexiom benchmark (Still has some bug)
2018-07-26 Hamed GorjiaraPerformance improvement in nqueens
2018-07-26 Hamed GorjiaraAdding timers for the sake of profiling
2018-07-26 Hamed GorjiaraBug fix for onehot encoding
2018-07-26 Hamed Gorjiarabug fix for nqueens
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-25 Hamed Gorjiarachanging API for nqueens
2018-07-25 Hamed GorjiaraFixing the killer sudoku
2018-07-19 Hamed GorjiaraMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2018-07-19 Hamed GorjiaraAdding constraints for making the cells different in...
2018-07-19 bdemskyspelling
2018-07-19 Hamed GorjiaraAdding 4 clients