,  at the end is an C++11 extension
Write newConstraint builder function
Do not reserve space for lits since we do not know the exact size
Cleanup
Return const reference to literal instead of copy
Use the static builder function for static eliminator
Add code for isSatisfied as it was
Go up decision level when cannot integrate conflict
Remove isSatisfied code
Merge branch 'master' into static-in-var-elimination
Enable static eliminator in var elimination
Merge branch 'static-in-var-elimination'
Merge branch 'master' into extract_clauses
Fix build