Cvc4cvc4 Inactive


Description

CVC4 is the new version, the fifth generation of this validity checker line that is now celebrating sixteen years of heritage. It represents a complete re-evaluation of the core architecture to be both performant and to serve as a cutting-edge research vehicle for the next several years.

Extracted automatically from Cvc4 homepage
Open new issue
Homepage
https://cvc4.cs.nyu.edu/
Version
Unavailable
Hits
36

Install Cvc4

brew install cvc4

Dependencies 1

The following dependency will be installed if you install Cvc4:

Arch.