Adding API for AtMostOneConstraint + bugfix for turning off the optimizations
Merging + fixing memory bugs
fix tabbing
Add a configuration for disabling the optimizations
Incremental solver works and the test case passes
Bug fixes for Java API + Exactly one constraints + Adding support for getting the wrong assumptions from SAT solver
Compatibility for SATCheck
Fix tabbing
Adding checks to avoid further processing on UNSAT Problems
Adding SMTRat and MathSAT interpreters
Adding SMT Interpreters
renaming alloyenc to alloy interpreter
Interpreter abstraction and memory bug fixes
Calling alloy first when deserializing
turning of the optimizations when using alloy ...
Adding Support for BooleanVar
Alloy interpreter
Preprocessing check
Adoptive timeout ...
fix tabbing