| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | bags_rewriter.cpp | 16640 | logplain |
| -rw-r--r-- | bags_rewriter.h | 7549 | 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 | 4176 | logplain |
| -rw-r--r-- | make_bag_op.cpp | 1240 | logplain |
| -rw-r--r-- | make_bag_op.h | 1725 | logplain |
| -rw-r--r-- | normal_form.cpp | 21030 | logplain |
| -rw-r--r-- | normal_form.h | 7376 | logplain |
| -rw-r--r-- | rewrites.cpp | 3481 | logplain |
| -rw-r--r-- | rewrites.h | 2387 | 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 | 4210 | logplain |
| -rw-r--r-- | theory_bags.h | 3791 | logplain |
| -rw-r--r-- | theory_bags_type_enumerator.cpp | 2517 | logplain |
| -rw-r--r-- | theory_bags_type_enumerator.h | 3487 | logplain |
| -rw-r--r-- | theory_bags_type_rules.h | 9360 | 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