Programming Languages Research Group: Git - Benchmarks

projects / Benchmarks_CSolver.git / search

2019-11-21	Hamed Gorjiara	Fixing performance bug in learning	commit \| commitdiff \| tree
2019-02-23	Hamed Gorjiara	Adding support for SMT solvers	commit \| commitdiff \| tree
2019-02-07	Hamed Gorjiara	Setting Alloy before adding constraints...	commit \| commitdiff \| tree
2019-01-25	Hamed Gorjiara	Alloy Support for Killer Sudoku	commit \| commitdiff \| tree
2019-01-23	Hamed Gorjiara	Adding support for Alloy Compiler for NQueens and Hexiom	commit \| commitdiff \| tree
2019-01-22	Hamed Gorjiara	Alloy compiler for Sudoku	commit \| commitdiff \| tree
2019-01-04	Hamed Gorjiara	Edit	commit \| commitdiff \| tree
2019-01-04	Hamed Gorjiara	Edit to work with multituner ...	commit \| commitdiff \| tree
2018-12-28	Hamed Gorjiara	Bug fix	commit \| commitdiff \| tree
2018-12-28	Hamed Gorjiara	scripts for learning	commit \| commitdiff \| tree
2018-10-25	Hamed Gorjiara	New test cases for Sudoku	commit \| commitdiff \| tree
2018-10-10	Hamed Gorjiara	Generating constraints as same as original encoding	commit \| commitdiff \| tree
2018-10-06	Hamed Gorjiara	Fixing element/set types for the tuner ...	commit \| commitdiff \| tree
2018-10-01	Hamed Gorjiara	removing unnecessary files	commit \| commitdiff \| tree
2018-09-27	Hamed Gorjiara	Adding a parser for parsing the output of the auto...	commit \| commitdiff \| tree
2018-09-21	Hamed Gorjiara	adding my local changes	commit \| commitdiff \| tree
2018-09-07	Hamed Gorjiara	Making benchmarks as similar as possible to the original...	commit \| commitdiff \| tree
2018-09-06	Hamed Gorjiara	Bug fix: providing right number of variables for the...	commit \| commitdiff \| tree
2018-09-06	Hamed Gorjiara	Deleting unnecessary files	commit \| commitdiff \| tree
2018-09-06	Hamed Gorjiara	Editing the script and .gitignore	commit \| commitdiff \| tree
2018-09-06	Hamed Gorjiara	Fixing the script ...	commit \| commitdiff \| tree
2018-09-06	Hamed Gorjiara	New dataset + Using Glucose instead of Pycosat	commit \| commitdiff \| tree
2018-09-06	Hamed Gorjiara	Bugfix for Sudoku solver + Using Glucose instead of...	commit \| commitdiff \| tree
2018-08-15	Hamed Gorjiara	Adding new benchmarks for Sudoku + scripts for processing...	commit \| commitdiff \| tree
2018-08-13	Hamed Gorjiara	Fixing the hexiom scrip	commit \| commitdiff \| tree
2018-08-13	Hamed Gorjiara	Adding more test cases for the Killer Sudoku	commit \| commitdiff \| tree
2018-08-13	Hamed Gorjiara	Fixing killerSudoku ...	commit \| commitdiff \| tree
2018-08-09	Hamed Gorjiara	Adding test cases for killer Sudoku and Hexiom	commit \| commitdiff \| tree
2018-08-08	Hamed Gorjiara	Performance improvement ...	commit \| commitdiff \| tree
2018-08-08	Hamed Gorjiara	Fixing the hexiom bug for UNARY encoding	commit \| commitdiff \| tree
2018-08-05	Hamed Gorjiara	Automatic result generator	commit \| commitdiff \| tree
2018-08-05	Hamed Gorjiara	bug fix for odd-size tables	commit \| commitdiff \| tree
2018-08-04	Hamed Gorjiara	Symmetry breaking constraint for CSolver encoding	commit \| commitdiff \| tree
2018-08-04	Hamed Gorjiara	Adding the symmetry breaking constraint to the original...	commit \| commitdiff \| tree
2018-08-04	Hamed Gorjiara	Scripts for running all the benchmarks + configurable...	commit \| commitdiff \| tree
2018-08-03	Hamed Gorjiara	Csolver encoding is working fine for hard examples ...	commit \| commitdiff \| tree
2018-08-01	Hamed Gorjiara	Making occupation constraint part of the element	commit \| commitdiff \| tree
2018-08-01	Hamed Gorjiara	Updating the gitignore	commit \| commitdiff \| tree
2018-08-01	Hamed Gorjiara	Adding hexiom benchmark (Still has some bug)	commit \| commitdiff \| tree
2018-07-26	Hamed Gorjiara	Performance improvement in nqueens	commit \| commitdiff \| tree
2018-07-26	Hamed Gorjiara	Adding timers for the sake of profiling	commit \| commitdiff \| tree
2018-07-26	Hamed Gorjiara	Bug fix for onehot encoding	commit \| commitdiff \| tree
2018-07-26	Hamed Gorjiara	bug fix for nqueens	commit \| commitdiff \| tree
2018-07-26	Hamed Gorjiara	Adding validation function for Sudoku solutions	commit \| commitdiff \| tree
2018-07-26	Hamed Gorjiara	Adding new encoding for nqueens (It has a bug) + code...	commit \| commitdiff \| tree
2018-07-25	Hamed Gorjiara	Changing the API for Sudoku	commit \| commitdiff \| tree
2018-07-25	Hamed Gorjiara	changing API for nqueens	commit \| commitdiff \| tree
2018-07-25	Hamed Gorjiara	Fixing the killer sudoku	commit \| commitdiff \| tree
2018-07-19	Hamed Gorjiara	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2018-07-19	Hamed Gorjiara	Adding constraints for making the cells different in...	commit \| commitdiff \| tree
2018-07-19	Hamed Gorjiara	Adding 4 clients	commit \| commitdiff \| tree

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

RSS Atom