Programming Languages Research Group: Git - Benchmarks

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

Unnamed repository; edit this file 'description' to name the repository.