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.
-
This Tweet is unavailable.
-
This Tweet is unavailable.
-
Try the latest master with --sygus-repair-const
-
-
No worries. I fear I may be the only CVC4 person openly here...
-
From a SMT noob perspective - who happened upon Z3 first and got used to the Python interface, without ever really being 100% convinced that Z3 was specifically better for my purposes - is there a reasonable comparison of strengths and weaknesses of the big SMT systems somewhere?
- 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.