diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-12-17 17:52:40 -0600 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-12-17 17:52:40 -0600 |
| commit | c30f459b03572907b06f839535ac4694c0c37b0d (patch) | |
| tree | 4112cd96e30928f4b57787eabe98a0aaa178540e /README | |
| parent | 8d89e06c34a0a22e006a74d48d4cc8843b293f73 (diff) | |
| parent | f411ca8ce97f488fd0db0a79abe8b4e61521ae69 (diff) | |
Merge branch 'master' of https://github.com/CVC4/CVC4
Diffstat (limited to 'README')
| -rw-r--r-- | README | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -17,8 +17,8 @@ from any previous version. CVC4 is intended to be an open and extensible SMT engine. It can be used as a stand-alone tool or as a library. It has been designed to increase the performance and reduce the memory overhead of its -predecessors. It is written entirely in C++ and is released under a -free software license (see the file COPYING in the source +predecessors. It is written entirely in C++ and is released under an +open-source software license (see the file COPYING in the source distribution). *** Getting started with CVC4 |