summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Hamed Gorjiara [Sun, 5 Aug 2018 01:57:46 +0000 (18:57 -0700)]
bug fix for odd-size tables
Hamed Gorjiara [Sat, 4 Aug 2018 23:23:44 +0000 (16:23 -0700)]
Symmetry breaking constraint for CSolver encoding
Hamed Gorjiara [Sat, 4 Aug 2018 21:59:45 +0000 (14:59 -0700)]
Adding the symmetry breaking constraint to the original encoding
Hamed Gorjiara [Sat, 4 Aug 2018 04:10:35 +0000 (21:10 -0700)]
Scripts for running all the benchmarks + configurable serialization
Hamed Gorjiara [Fri, 3 Aug 2018 08:27:18 +0000 (01:27 -0700)]
Csolver encoding is working fine for hard examples ...
Hamed Gorjiara [Wed, 1 Aug 2018 08:01:17 +0000 (01:01 -0700)]
Making occupation constraint part of the element
Hamed Gorjiara [Wed, 1 Aug 2018 00:42:22 +0000 (17:42 -0700)]
Updating the gitignore
Hamed Gorjiara [Wed, 1 Aug 2018 00:26:07 +0000 (17:26 -0700)]
Adding hexiom benchmark (Still has some bug)
Hamed Gorjiara [Thu, 26 Jul 2018 21:27:21 +0000 (14:27 -0700)]
Performance improvement in nqueens
Hamed Gorjiara [Thu, 26 Jul 2018 20:37:27 +0000 (13:37 -0700)]
Adding timers for the sake of profiling
Hamed Gorjiara [Thu, 26 Jul 2018 19:49:05 +0000 (12:49 -0700)]
Bug fix for onehot encoding
Hamed Gorjiara [Thu, 26 Jul 2018 17:29:22 +0000 (10:29 -0700)]
bug fix for nqueens
Hamed Gorjiara [Thu, 26 Jul 2018 06:53:14 +0000 (23:53 -0700)]
Adding validation function for Sudoku solutions
Hamed Gorjiara [Thu, 26 Jul 2018 02:19:22 +0000 (19:19 -0700)]
Adding new encoding for nqueens (It has a bug) + code refactoring + Adding new Benchmark to Sudoku
Hamed Gorjiara [Wed, 25 Jul 2018 05:44:16 +0000 (22:44 -0700)]
Changing the API for Sudoku
Hamed Gorjiara [Wed, 25 Jul 2018 05:20:32 +0000 (22:20 -0700)]
changing API for nqueens
Hamed Gorjiara [Wed, 25 Jul 2018 05:11:02 +0000 (22:11 -0700)]
Fixing the killer sudoku
Hamed Gorjiara [Thu, 19 Jul 2018 22:17:27 +0000 (15:17 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/Benchmarks_CSolver
Hamed Gorjiara [Thu, 19 Jul 2018 22:13:26 +0000 (15:13 -0700)]
Adding constraints for making the cells different in each cage
bdemsky [Thu, 19 Jul 2018 22:00:37 +0000 (15:00 -0700)]
spelling
Hamed Gorjiara [Thu, 19 Jul 2018 21:36:28 +0000 (14:36 -0700)]
Adding 4 clients
projects / Benchmarks_CSolver.git / log