The code used for:

https://arxiv.org/abs/1409.4925
https://arxiv.org/abs/1410.5764
https://arxiv.org/abs/1410.5088

Includes program synthesis, nested quantifiers, termination and the heap decision procedure.

Version 1.0