Generating constraints as same as original encoding

Fixing element/set types for the tuner ...

removing unnecessary files

Adding a parser for parsing the output of the auto tuner

adding my local changes

Making benchmarks as similar as possible to the original encoding

Bug fix: providing right number of variables for the SAT Solver

Deleting unnecessary files

Editing the script and .gitignore

Fixing the script ...

New dataset + Using Glucose instead of Pycosat

Bugfix for Sudoku solver + Using Glucose instead of Pycosat

Adding new benchmarks for Sudoku + scripts for processing and gathering the results

Fixing the hexiom scrip

Adding more test cases for the Killer Sudoku

Fixing killerSudoku ...

Adding test cases for killer Sudoku and Hexiom

Performance improvement ...

Fixing the hexiom bug for UNARY encoding

Automatic result generator

bug fix for odd-size tables

Symmetry breaking constraint for CSolver encoding

Adding the symmetry breaking constraint to the original encoding

Scripts for running all the benchmarks + configurable serialization

Csolver encoding is working fine for hard examples ...

Making occupation constraint part of the element

Updating the gitignore

Adding hexiom benchmark (Still has some bug)

Performance improvement in nqueens

Adding timers for the sake of profiling

Bug fix for onehot encoding

bug fix for nqueens

Adding validation function for Sudoku solutions

Adding new encoding for nqueens (It has a bug) + code refactoring  + Adding new Benchmark to Sudoku

Changing the API for Sudoku

changing API for nqueens

Fixing the killer sudoku

Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/Benchmarks_CSolver

Adding constraints for making the cells different in each cage

spelling

Adding 4 clients