projects / Benchmarks_CSolver.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Benchmarks_CSolver.git
2020-09-10 Hamed GorjiaraDirk end to end analysis master commit | commitdiff | tree | snapshot
2020-09-10 Hamed GorjiaraSyPet end-to-end evaluation commit | commitdiff | tree | snapshot
2020-09-09 Hamed Gorjiaraignore types commit | commitdiff | tree | snapshot
2020-09-09 Hamed GorjiaraAdding JMCR-Stable version commit | commitdiff | tree | snapshot
2020-09-09 Hamed GorjiaraAdding dirk-new to repo commit | commitdiff | tree | snapshot
2020-09-09 Hamed GorjiaraAdding sypet to repo commit | commitdiff | tree | snapshot
2020-08-28 Hamed GorjiaraChanging the seed tuners commit | commitdiff | tree | snapshot
2019-12-04 Hamed GorjiaraMerge branch 'master' of ssh://plrg.ics.uci.edu/home... commit | commitdiff | tree | snapshot
2019-11-21 Hamed GorjiaraFixing performance bug in learning commit | commitdiff | tree | snapshot
2019-11-08 Hamed GorjiaraAdding killerSudoku problems commit | commitdiff | tree | snapshot
2019-11-08 Hamed GorjiaraAdding sudoku files commit | commitdiff | tree | snapshot
2019-11-08 Hamed Gorjiararemoving SATPlan and adding conda and sypet commit | commitdiff | tree | snapshot
2019-02-23 Hamed GorjiaraAdding support for SMT solvers commit | commitdiff | tree | snapshot
2019-02-07 Hamed GorjiaraSetting Alloy before adding constraints... commit | commitdiff | tree | snapshot
2019-01-25 Hamed GorjiaraAlloy Support for Killer Sudoku commit | commitdiff | tree | snapshot
2019-01-23 Hamed GorjiaraAdding support for Alloy Compiler for NQueens and Hexiom commit | commitdiff | tree | snapshot
2019-01-22 Hamed GorjiaraAlloy compiler for Sudoku commit | commitdiff | tree | snapshot
2019-01-04 Hamed GorjiaraEdit commit | commitdiff | tree | snapshot
2019-01-04 Hamed GorjiaraEdit to work with multituner ... commit | commitdiff | tree | snapshot
2018-12-28 Hamed GorjiaraBug fix commit | commitdiff | tree | snapshot
2018-12-28 Hamed Gorjiarascripts for learning commit | commitdiff | tree | snapshot
2018-10-25 Hamed GorjiaraNew test cases for Sudoku commit | commitdiff | tree | snapshot
2018-10-10 Hamed GorjiaraGenerating constraints as same as original encoding commit | commitdiff | tree | snapshot
2018-10-06 Hamed GorjiaraFixing element/set types for the tuner ... commit | commitdiff | tree | snapshot
2018-10-01 Hamed Gorjiararemoving unnecessary files commit | commitdiff | tree | snapshot
2018-09-27 Hamed GorjiaraAdding a parser for parsing the output of the auto... commit | commitdiff | tree | snapshot
2018-09-21 Hamed Gorjiaraadding my local changes scratch commit | commitdiff | tree | snapshot
2018-09-07 Hamed GorjiaraMaking benchmarks as similar as possible to the origina... commit | commitdiff | tree | snapshot
2018-09-06 Hamed GorjiaraBug fix: providing right number of variables for the... commit | commitdiff | tree | snapshot
2018-09-06 Hamed GorjiaraDeleting unnecessary files commit | commitdiff | tree | snapshot
2018-09-06 Hamed GorjiaraEditing the script and .gitignore commit | commitdiff | tree | snapshot
2018-09-06 Hamed GorjiaraFixing the script ... commit | commitdiff | tree | snapshot
2018-09-06 Hamed GorjiaraNew dataset + Using Glucose instead of Pycosat commit | commitdiff | tree | snapshot
2018-09-06 Hamed GorjiaraBugfix for Sudoku solver + Using Glucose instead of... commit | commitdiff | tree | snapshot
2018-08-15 Hamed GorjiaraAdding new benchmarks for Sudoku + scripts for processi... commit | commitdiff | tree | snapshot
2018-08-13 Hamed GorjiaraFixing the hexiom scrip commit | commitdiff | tree | snapshot
2018-08-13 Hamed GorjiaraAdding more test cases for the Killer Sudoku commit | commitdiff | tree | snapshot
2018-08-13 Hamed GorjiaraFixing killerSudoku ... commit | commitdiff | tree | snapshot
2018-08-09 Hamed GorjiaraAdding test cases for killer Sudoku and Hexiom commit | commitdiff | tree | snapshot
2018-08-08 Hamed GorjiaraPerformance improvement ... commit | commitdiff | tree | snapshot
2018-08-08 Hamed GorjiaraFixing the hexiom bug for UNARY encoding commit | commitdiff | tree | snapshot
2018-08-05 Hamed GorjiaraAutomatic result generator commit | commitdiff | tree | snapshot
2018-08-05 Hamed Gorjiarabug fix for odd-size tables commit | commitdiff | tree | snapshot
2018-08-04 Hamed GorjiaraSymmetry breaking constraint for CSolver encoding commit | commitdiff | tree | snapshot
2018-08-04 Hamed GorjiaraAdding the symmetry breaking constraint to the original... commit | commitdiff | tree | snapshot
2018-08-04 Hamed GorjiaraScripts for running all the benchmarks + configurable... commit | commitdiff | tree | snapshot
2018-08-03 Hamed GorjiaraCsolver encoding is working fine for hard examples ... commit | commitdiff | tree | snapshot
2018-08-01 Hamed GorjiaraMaking occupation constraint part of the element commit | commitdiff | tree | snapshot
2018-08-01 Hamed GorjiaraUpdating the gitignore commit | commitdiff | tree | snapshot
2018-08-01 Hamed GorjiaraAdding hexiom benchmark (Still has some bug) commit | commitdiff | tree | snapshot
2018-07-26 Hamed GorjiaraPerformance improvement in nqueens commit | commitdiff | tree | snapshot
2018-07-26 Hamed GorjiaraAdding timers for the sake of profiling commit | commitdiff | tree | snapshot
2018-07-26 Hamed GorjiaraBug fix for onehot encoding commit | commitdiff | tree | snapshot
2018-07-26 Hamed Gorjiarabug fix for nqueens commit | commitdiff | tree | snapshot
2018-07-26 Hamed GorjiaraAdding validation function for Sudoku solutions commit | commitdiff | tree | snapshot
2018-07-26 Hamed GorjiaraAdding new encoding for nqueens (It has a bug) + code... commit | commitdiff | tree | snapshot
2018-07-25 Hamed GorjiaraChanging the API for Sudoku commit | commitdiff | tree | snapshot
2018-07-25 Hamed Gorjiarachanging API for nqueens commit | commitdiff | tree | snapshot
2018-07-25 Hamed GorjiaraFixing the killer sudoku commit | commitdiff | tree | snapshot
2018-07-19 Hamed GorjiaraMerge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff | tree | snapshot
2018-07-19 Hamed GorjiaraAdding constraints for making the cells different in... commit | commitdiff | tree | snapshot
2018-07-19 bdemskyspelling commit | commitdiff | tree | snapshot
2018-07-19 Hamed GorjiaraAdding 4 clients commit | commitdiff | tree | snapshot
Unnamed repository; edit this file 'description' to name the repository.