Update strategy to apply smt solver

[hbgit]

Checkout https://smt-comp.github.io/2019/results

Is it possible to run different smt solver in parallel?

Is it possible to update the default smt solver?
Try Yices 2.6.2 (http://yices.csl.sri.com/) or Boolector (https://boolector.github.io/)

Change code on:
https://github.com/hbgit/Map2Check/blob/develop/modules/frontend/map2check.cpp#L153
https://github.com/hbgit/Map2Check/blob/develop/modules/frontend/map2check.cpp#L208
https://github.com/hbgit/Map2Check/blob/develop/modules/frontend/caller.cpp#L309

[hbgit]

I would like suggest to adopt metaSMT for KLEE that supports various solvers, including Boolector, CVC4, STP, Z3 and Yices. Checkout https://klee.github.io/build-llvm60/ in the section 3. Install constraint solver(s)