|
Name |
|
Date |
Size |
#Lines |
LOC |
| .. | | 03-May-2022 | - |
| bin/ | H | 01-Sep-2011 | - | 1,147 | 885 |
| doc/ | H | 01-Sep-2011 | - | 5,370 | 4,196 |
| emacs/ | H | 01-Sep-2011 | - | 777 | 595 |
| java/ | H | 03-May-2022 | - | 10,430 | 7,519 |
| src/ | H | 03-May-2022 | - | 135,660 | 90,802 |
| test/ | H | 03-May-2022 | - | 14,727 | 14,193 |
| testc/ | H | 03-May-2022 | - | 804 | 575 |
| INSTALL | H A D | 14-Sep-2010 | 19.2 KiB | 601 | 468 |
| LICENSE.in | H A D | 08-Apr-2009 | 2.2 KiB | 54 | 45 |
| Makefile | H A D | 03-May-2022 | 8.3 KiB | 283 | 236 |
| Makefile.local.in | H A D | 23-Mar-2010 | 3.5 KiB | 181 | 138 |
| Makefile.std | H A D | 03-May-2022 | 9.1 KiB | 341 | 174 |
| PEOPLE | H A D | 09-Aug-2006 | 856 | 26 | 22 |
| README | H A D | 16-Oct-2009 | 357 | 17 | 10 |
| VERSION | H A D | 01-Sep-2011 | 6 | 2 | 1 |
| config.guess | H A D | 05-Mar-2009 | 43.8 KiB | 1,527 | 1,315 |
| config.sub | H A D | 05-Mar-2009 | 32.6 KiB | 1,659 | 1,514 |
| configure | H A D | 01-Sep-2011 | 169.4 KiB | 6,077 | 4,972 |
| configure.ac | H A D | 01-Sep-2011 | 19.2 KiB | 700 | 580 |
| install-sh | H A D | 05-Mar-2009 | 13.3 KiB | 520 | 344 |
README
1/*!\page README README
2
3
4This is a distribution of the CVC3 source code. Its use is governed by the
5terms set forth in the accompanying file \ref LICENSE.
6
7For instructions on compiling and installing the code, see \ref INSTALL.
8
9Other information and related links can be found at the CVC3 home
10page:
11
12<pre>
13 http://www.cs.nyu.edu/acsys/cvc3
14</pre>
15
16*/
17