4 ms·
In case you or someone else is still looking, CVC4 [1] is a competitive open source alternative to Z3 or Yices. [1] http://cvc4.cs.nyu.edu/ http://cvc4.cs.nyu.
by psuter 13y ago
In case you or someone else is still looking, CVC4 [1] is a competitive open source alternative to Z3 or Yices.
[1] http://cvc4.cs.nyu.edu/ http://cvc4.cs.nyu.edu/
- colanderman 13y agoThanks! Last I checked (maybe a year back), something-or-other about CVC4 didn't work for me (I wholly forget what it was). I will try it out again. I don't know if you are associated with CVC4 at all, but unfortunately the hashes of the amd64 Debian stable packages (cvc4, libcvc4-1, and libcvc4parser1) don't seem to match? It is probably just a package error however it makes me hesitant to install the packages…
- psuter 13y agoI am not associated with CVC4 directly (or Z3 for that matter). Something that is true for all these tools is that they evolve very quickly. As a result, you're better off building from source. In both cases, that means running `make` and nothing else.