Changed flags for CVC4 with unsat cores
Merge pull request #149 from chsticksel/develop

Changed flags for CVC4 with unsat cores