projects
/
Benchmarks_CSolver.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Dirk end to end analysis
[Benchmarks_CSolver.git]
/
nqueens
/
2019-02-23
Hamed Gorjiara
Adding support for SMT solvers
tree
|
commitdiff
2019-02-07
Hamed Gorjiara
Setting Alloy before adding constraints...
tree
|
commitdiff
2019-01-23
Hamed Gorjiara
Adding support for Alloy Compiler for NQueens and Hexiom
tree
|
commitdiff
2019-01-04
Hamed Gorjiara
Edit
tree
|
commitdiff
2019-01-04
Hamed Gorjiara
Edit to work with multituner ...
tree
|
commitdiff
2018-12-28
Hamed Gorjiara
scripts for learning
tree
|
commitdiff
2018-10-06
Hamed Gorjiara
Fixing element/set types for the tuner ...
tree
|
commitdiff
2018-10-01
Hamed Gorjiara
removing unnecessary files
tree
|
commitdiff
2018-09-06
Hamed Gorjiara
Fixing the script ...
tree
|
commitdiff
2018-08-15
Hamed Gorjiara
Adding new benchmarks for Sudoku + scripts for processi...
tree
|
commitdiff
2018-08-09
Hamed Gorjiara
Adding test cases for killer Sudoku and Hexiom
tree
|
commitdiff
2018-08-05
Hamed Gorjiara
Automatic result generator
tree
|
commitdiff
2018-08-05
Hamed Gorjiara
bug fix for odd-size tables
tree
|
commitdiff
2018-08-04
Hamed Gorjiara
Symmetry breaking constraint for CSolver encoding
tree
|
commitdiff
2018-08-04
Hamed Gorjiara
Adding the symmetry breaking constraint to the original...
tree
|
commitdiff
2018-08-04
Hamed Gorjiara
Scripts for running all the benchmarks + configurable...
tree
|
commitdiff
2018-07-26
Hamed Gorjiara
Performance improvement in nqueens
tree
|
commitdiff
2018-07-26
Hamed Gorjiara
Adding timers for the sake of profiling
tree
|
commitdiff
2018-07-26
Hamed Gorjiara
Bug fix for onehot encoding
tree
|
commitdiff
2018-07-26
Hamed Gorjiara
bug fix for nqueens
tree
|
commitdiff
2018-07-26
Hamed Gorjiara
Adding new encoding for nqueens (It has a bug) + code...
tree
|
commitdiff
2018-07-25
Hamed Gorjiara
changing API for nqueens
tree
|
commitdiff
2018-07-19
Hamed Gorjiara
Adding 4 clients
tree
|
commitdiff