Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into tuner

Adding the new tunable to the print function

Fix result file

fix up serialization a bit more

Fix tuner issues

bug fix

Add file to generate tuner files and fix tunable usage

more code

Add competition tuner test file

fix tabbing

Boolean Variable Ordering optimizations

edits

edits

edits

edits

more edits

tabbing

Add tuner components

Add tuner components

Add binary

Move static tuner into its own class

Bug fix for serializing Boolean Const ...

Parser for the tuner's log file

Adding a directed search based config for the tuner

Bug fix for mustHaveValue tuning parameter

Adding the learning script

Merge scratch with master branch

Correcting the autotuner timeout

Fix tabbing

Turn off print statements

Fix g++ option

Performance improvement

1)Making naiveencoder and encoding graph use tuner 2)Adding timeout to the sat solver 3)Adding similarity based heuristic for merging the subgraph on top of bit number heuristic

Merging with branch scratch and cleaning the code

Bug fix in merge heuristic

Bug fix in condition to set CIRCUIT encoding

Merge branch 'scratch' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler

Commiting my local changes ...

bug fix

Adding a variable for counting the number of clauses

Refactoring ...

Bug fix for the tuner: missing mustHaveValue constraints

Fixing the memory bug

bug fix for deploy script

Adding assertions, info logs, and validation functions for debugging purposes

Bug fix: overflow in compiler automatic static casting

Bug fix in encoding subgraph DFS algorithm

after merge (mostly tabbing issues)

Fix tabbing

bug fix

Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler into hamed

revert Hamed's changes to encoding graph

Saving the best tuner settings + bug fixes

Deploy script ...

Cleaning up the unnecessary warnings

Bug fix

Adding clone API in pycsolver ...

Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler into hamed

Bug was introduced in proxy variable changes

Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed

Bug fix for printing ...

fix print bug

Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler into hamed

bug fix

Refactoring ...

revealing a new bug

Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed

Adding a python API for mustHaveValue abstraction

make range closer to what we'd expect

checking the the variable isn't constant in generating proxy variables + making its tuner more fine-grained

Now the Tuner decides about creating proxy variables

Warning message when value of element is undefined in results retrieved from SAT Solver

edits

remove redundant constraint

add element optimization pass

remove redundant sets

fix sigs

edits

more code

remove redundant domains

add new class

bug fixes

Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed

edit

Revert "Having the benchmarks as a new repo"

This reverts commit 6ff960b63f45a3f4d264ab265e06edccddbf9b85.

edit

Having the benchmarks as a new repo

Bug fix for polarity assignment

Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler into hamed

edit

edit

Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into hamed

edits

Removing extra constraints for the unary encoding

making the qsort deterministic for BooleanEdge

Adding a new abstraction for elements: must have value

Bug fix for cloning ...

reverting unnecessary changes in clone

bug fixes for cloning and encodinggraph

Fixing autoTuner's bug + making logs more legible