A number of bugfixes, as well as refactoring of the theory of heaps. In this version, two heap versions are included:
-heapSolver:native: the existing implementation of the theory based on axioms.-heapSolver:array: a new, still experimental implementation based on a reduction to arrays.
There is now also an option -verifySolutions to verify models and proofs internally.