Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/msakai/cvc3
personal mirror of CVC3
https://github.com/msakai/cvc3
Last synced: about 1 month ago
JSON representation
personal mirror of CVC3
- Host: GitHub
- URL: https://github.com/msakai/cvc3
- Owner: msakai
- License: other
- Created: 2012-02-14T23:58:11.000Z (almost 13 years ago)
- Default Branch: master
- Last Pushed: 2013-01-21T13:55:27.000Z (almost 12 years ago)
- Last Synced: 2024-10-13T23:49:12.472Z (3 months ago)
- Language: C++
- Homepage:
- Size: 1.69 MB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README
- License: LICENSE.in
Awesome Lists containing this project
README
/*!\page README README
This is a distribution of the CVC3 source code. Its use is governed by the
terms set forth in the accompanying file \ref LICENSE.
For instructions on compiling and installing the code, see \ref INSTALL.
Other information and related links can be found at the CVC3 home
page:
http://www.cs.nyu.edu/acsys/cvc3
*/