Bug fixes for Boolean reasoners.
Added support for constraints to MPLE.