| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | bags_rewriter.cpp | 15230 | logplain |
| -rw-r--r-- | bags_rewriter.h | 7081 | logplain |
| -rw-r--r-- | bags_statistics.cpp | 988 | logplain |
| -rw-r--r-- | bags_statistics.h | 1159 | logplain |
| -rw-r--r-- | inference_manager.cpp | 1124 | logplain |
| -rw-r--r-- | inference_manager.h | 1748 | logplain |
| -rw-r--r-- | kinds | 3732 | logplain |
| -rw-r--r-- | normal_form.cpp | 1006 | logplain |
| -rw-r--r-- | normal_form.h | 1586 | logplain |
| -rw-r--r-- | rewrites.cpp | 3255 | logplain |
| -rw-r--r-- | rewrites.h | 2320 | logplain |
| -rw-r--r-- | solver_state.cpp | 1043 | logplain |
| -rw-r--r-- | solver_state.h | 1125 | logplain |
| -rw-r--r-- | term_registry.cpp | 1219 | logplain |
| -rw-r--r-- | term_registry.h | 1731 | logplain |
| -rw-r--r-- | theory_bags.cpp | 4154 | logplain |
| -rw-r--r-- | theory_bags.h | 3791 | logplain |
| -rw-r--r-- | theory_bags_type_enumerator.cpp | 2459 | logplain |
| -rw-r--r-- | theory_bags_type_enumerator.h | 3487 | logplain |
| -rw-r--r-- | theory_bags_type_rules.h | 8436 | 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