Copyright

The copyright and (lack of) warranty information most relevant to you is in the file COPYING that you got with your CVC4 source code, or received with any binary packaging of CVC4.

The latest stable release

The latest development version