| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | AUTHORS | 1159 | logplain |
| -rw-r--r-- | HOWTO_MinGW32 | 2232 | logplain |
| -rw-r--r-- | HOWTO_VisualCpp | 1806 | logplain |
| -rw-r--r-- | INSTALL | 1910 | logplain |
| -rw-r--r-- | LICENSE-GPL | 35147 | logplain |
| -rw-r--r-- | LICENSE-MIT | 1135 | logplain |
| d--------- | MTRand | 123 | logplain |
| -rw-r--r-- | Makefile.am | 317 | logplain |
| -rw-r--r-- | Makefile.in | 21176 | logplain |
| -rw-r--r-- | NEWS | 16239 | logplain |
| -rw-r--r-- | README | 740 | logplain |
| d--------- | Solver | 2792 | logplain |
| -rw-r--r-- | TODO | 201 | logplain |
| -rw-r--r-- | aclocal.m4 | 343924 | logplain |
| -rwxr-xr-x | config.guess | 44504 | logplain |
| -rw-r--r-- | config.h.in | 2034 | logplain |
| -rwxr-xr-x | config.sub | 35206 | logplain |
| -rwxr-xr-x | configure | 561883 | logplain |
| -rw-r--r-- | configure.in | 3205 | logplain |
| -rwxr-xr-x | depcomp | 18615 | logplain |
| -rwxr-xr-x | install-sh | 13663 | logplain |
| -rw-r--r-- | ltmain.sh | 283666 | logplain |
| d--------- | man | 121 | logplain |
| -rwxr-xr-x | missing | 11419 | logplain |
| d--------- | mtl | 178 | logplain |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback