I am really sorry that this is taking so long, but I am still working on this. In particular, at the recommendation of the upstream developers, I have been waiting for version 1.5 of CVC4, which has finally been released yesterday:
http://cvc4.cs.stanford.edu/web/2017/07/10/cvc4-1-5-released/ Regards, Fabian
signature.asc
Description: PGP signature