| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 162 | logplain |
| -rw-r--r-- | AUTHORS | 94 | logplain |
| -rw-r--r-- | COPYING | 915 | logplain |
| -rw-r--r-- | INSTALL | 15744 | logplain |
| -rw-r--r-- | Makefile.am | 488 | logplain |
| -rw-r--r-- | NEWS | 309 | logplain |
| -rw-r--r-- | README | 2801 | logplain |
| -rw-r--r-- | check.cpp | 38046 | logplain |
| -rw-r--r-- | check.h | 3119 | logplain |
| -rw-r--r-- | chunking_memory_management.h | 5618 | logplain |
| -rw-r--r-- | code.cpp | 37539 | logplain |
| -rw-r--r-- | code.h | 239 | logplain |
| -rw-r--r-- | configure.ac | 1066 | logplain |
| -rw-r--r-- | expr.cpp | 21004 | logplain |
| -rw-r--r-- | expr.h | 8666 | logplain |
| -rw-r--r-- | libwriter.cpp | 9456 | logplain |
| -rw-r--r-- | libwriter.h | 465 | logplain |
| -rw-r--r-- | main.cpp | 3511 | logplain |
| -rw-r--r-- | position.h | 568 | logplain |
| -rw-r--r-- | print_smt2.cpp | 2812 | logplain |
| -rw-r--r-- | print_smt2.h | 244 | logplain |
| -rw-r--r-- | scccode.cpp | 134 | logplain |
| -rw-r--r-- | scccode.h | 158 | logplain |
| -rw-r--r-- | sccwriter.cpp | 30645 | logplain |
| -rw-r--r-- | sccwriter.h | 2694 | logplain |
| -rw-r--r-- | trie.cpp | 473 | logplain |
| -rw-r--r-- | trie.h | 2329 | 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