Stack size in mingw.
Finishparsing loop.
Fixes #39: proper qbf initialization.
Added todo.
Bugfix and improvements to theory simplifier (option was not working).
Release 3.9.2
Removed faulty override
Merged in oldergcc (pull request #13)

Removed faulty override for compatibility with older compilers
Fixed FLEX INCLUDE DIR in CMake.
Release 3.9.3
Improved lazy grounding heuristics for cp.
Bugfix: safeint class did not detect all possible overflows.
Improved code to compile with GMP and to build 32 bits version.
Removed safeint usage completely;
Bugfix in overflow check in sumconstraint.
Bugfix for overflow in range cp var.
Adapted parser to also work correctly with more recent bison versions.
Fixes #46: entailed literals are printed correctly.
Merged in fix_entailedlits (pull request #16)

Fixes #46: entailed literals are printed correctly.
Changed compilation flag to build tests with clang.