Re: [isabelle] cvc4 crashing

Dear Eugene, Makarius,

First, thank you, Eugene, for taking the time to reproduce the issue.

Makarius wrote:

> Shall we hand this over to the cvc4 guys? There might be still enough
> time for our release, to get a clarification of this important fine point.

Indeed. I'll write to them right now on the CVC4 users mailing list. Indeed, I should have done so long ago.



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.