Omit unsat core option to solver if not needed
Merge pull request #175 from chsticksel/develop

Omit unsat core option to solver if not needed