Added support to return MX statistics.
Added lazy-related options.
Added priority to lit prop accept.
Improved lazy-related ID initialization.
Added new lazy propagators.
Lazy heuristic implementation.
Added comment.
Bugfix for minimizing minimum aggregates.
Fixed to outputvar invalidation.
Using option for relevance through watches.
Bugfix in condition to clear propagators.
Small fixes.
Added support for randomized restarting after too much grounding to proper place.
Performance fix: checking doubles in propagators is too expensive and often not useful. Propagators should check it themselves.
Improvements in lazy grounding modules.
Bugfix in assert in solver.
Fixed ID initialization for lazy.
Properly solved lazy initialization in ID-solver. Fixed lots of warnings from clang compiler.
Bugfix in polarity usage: true polarity (except in Minisat itself) means positive literal;
Bugfix: assumption atoms were not created if they did not yet exist.