I think it is in master but I can check with Andy.
Does anyone know if this
is part of upstream CVC4? Or do they have a separate branch somewhere? I have re-evaluating post-CAV CVC4 on my todo list anyway, may as well have a look at this.
-
-
-
That would be great, thanks!
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.