summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Hamed Gorjiara [Thu, 10 Sep 2020 21:08:02 +0000 (14:08 -0700)]
Dirk end to end analysis
Hamed Gorjiara [Thu, 10 Sep 2020 01:57:52 +0000 (18:57 -0700)]
SyPet end-to-end evaluation
Hamed Gorjiara [Wed, 9 Sep 2020 11:48:56 +0000 (04:48 -0700)]
ignore types
Hamed Gorjiara [Wed, 9 Sep 2020 11:46:56 +0000 (04:46 -0700)]
Adding JMCR-Stable version
Hamed Gorjiara [Wed, 9 Sep 2020 11:39:17 +0000 (04:39 -0700)]
Adding dirk-new to repo
Hamed Gorjiara [Wed, 9 Sep 2020 11:35:55 +0000 (04:35 -0700)]
Adding sypet to repo
Hamed Gorjiara [Fri, 28 Aug 2020 21:43:00 +0000 (14:43 -0700)]
Changing the seed tuners
Hamed Gorjiara [Wed, 4 Dec 2019 18:59:01 +0000 (10:59 -0800)]
Merge branch 'master' of ssh://plrg.ics.uci.edu/home/git/Benchmarks_CSolver
Hamed Gorjiara [Thu, 21 Nov 2019 00:26:01 +0000 (16:26 -0800)]
Fixing performance bug in learning
Hamed Gorjiara [Fri, 8 Nov 2019 08:04:21 +0000 (00:04 -0800)]
Adding killerSudoku problems
Hamed Gorjiara [Fri, 8 Nov 2019 08:03:43 +0000 (00:03 -0800)]
Adding sudoku files
Hamed Gorjiara [Fri, 8 Nov 2019 08:01:05 +0000 (00:01 -0800)]
removing SATPlan and adding conda and sypet
Hamed Gorjiara [Sat, 23 Feb 2019 08:35:24 +0000 (00:35 -0800)]
Adding support for SMT solvers
Hamed Gorjiara [Thu, 7 Feb 2019 00:17:28 +0000 (16:17 -0800)]
Setting Alloy before adding constraints...
Hamed Gorjiara [Fri, 25 Jan 2019 20:15:40 +0000 (12:15 -0800)]
Alloy Support for Killer Sudoku
Hamed Gorjiara [Wed, 23 Jan 2019 21:27:44 +0000 (13:27 -0800)]
Adding support for Alloy Compiler for NQueens and Hexiom
Hamed Gorjiara [Tue, 22 Jan 2019 08:12:37 +0000 (00:12 -0800)]
Alloy compiler for Sudoku
Hamed Gorjiara [Fri, 4 Jan 2019 21:03:46 +0000 (13:03 -0800)]
Edit
Hamed Gorjiara [Fri, 4 Jan 2019 19:58:36 +0000 (11:58 -0800)]
Edit to work with multituner ...
Hamed Gorjiara [Fri, 28 Dec 2018 00:35:18 +0000 (16:35 -0800)]
Bug fix
Hamed Gorjiara [Fri, 28 Dec 2018 00:33:14 +0000 (16:33 -0800)]
scripts for learning
Hamed Gorjiara [Thu, 25 Oct 2018 08:30:58 +0000 (01:30 -0700)]
New test cases for Sudoku
Hamed Gorjiara [Wed, 10 Oct 2018 06:56:52 +0000 (23:56 -0700)]
Generating constraints as same as original encoding
Hamed Gorjiara [Sat, 6 Oct 2018 00:51:54 +0000 (17:51 -0700)]
Fixing element/set types for the tuner ...
Hamed Gorjiara [Mon, 1 Oct 2018 19:12:00 +0000 (12:12 -0700)]
removing unnecessary files
Hamed Gorjiara [Thu, 27 Sep 2018 04:23:25 +0000 (21:23 -0700)]
Adding a parser for parsing the output of the auto tuner
Hamed Gorjiara [Fri, 21 Sep 2018 03:00:06 +0000 (20:00 -0700)]
adding my local changes
Hamed Gorjiara [Fri, 7 Sep 2018 20:26:09 +0000 (13:26 -0700)]
Making benchmarks as similar as possible to the original encoding
Hamed Gorjiara [Thu, 6 Sep 2018 23:23:05 +0000 (16:23 -0700)]
Bug fix: providing right number of variables for the SAT Solver
Hamed Gorjiara [Thu, 6 Sep 2018 21:06:01 +0000 (14:06 -0700)]
Deleting unnecessary files
Hamed Gorjiara [Thu, 6 Sep 2018 21:04:38 +0000 (14:04 -0700)]
Editing the script and .gitignore
Hamed Gorjiara [Thu, 6 Sep 2018 21:01:13 +0000 (14:01 -0700)]
Fixing the script ...
Hamed Gorjiara [Thu, 6 Sep 2018 20:58:47 +0000 (13:58 -0700)]
New dataset + Using Glucose instead of Pycosat
Hamed Gorjiara [Thu, 6 Sep 2018 20:57:56 +0000 (13:57 -0700)]
Bugfix for Sudoku solver + Using Glucose instead of Pycosat
Hamed Gorjiara [Wed, 15 Aug 2018 00:18:21 +0000 (17:18 -0700)]
Adding new benchmarks for Sudoku + scripts for processing and gathering the results
Hamed Gorjiara [Mon, 13 Aug 2018 21:44:23 +0000 (14:44 -0700)]
Fixing the hexiom scrip
Hamed Gorjiara [Mon, 13 Aug 2018 21:15:27 +0000 (14:15 -0700)]
Adding more test cases for the Killer Sudoku
Hamed Gorjiara [Mon, 13 Aug 2018 17:38:40 +0000 (10:38 -0700)]
Fixing killerSudoku ...
Hamed Gorjiara [Thu, 9 Aug 2018 22:32:38 +0000 (15:32 -0700)]
Adding test cases for killer Sudoku and Hexiom
Hamed Gorjiara [Wed, 8 Aug 2018 20:24:19 +0000 (13:24 -0700)]
Performance improvement ...
Hamed Gorjiara [Wed, 8 Aug 2018 19:11:49 +0000 (12:11 -0700)]
Fixing the hexiom bug for UNARY encoding
Hamed Gorjiara [Sun, 5 Aug 2018 08:56:02 +0000 (01:56 -0700)]
Automatic result generator
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