Run CVC4 with --rewrite-divk flag
Merge pull request #151 from chsticksel/develop

Run CVC4 with --rewrite-divk flag