| .. | | 03-May-2022 | - |
| arith/ | H | 09-Apr-2019 | - | 40,000 | 27,822 |
| arrays/ | H | 09-Apr-2019 | - | 5,298 | 3,749 |
| booleans/ | H | 09-Apr-2019 | - | 1,459 | 919 |
| builtin/ | H | 09-Apr-2019 | - | 1,420 | 1,055 |
| bv/ | H | 09-Apr-2019 | - | 19,352 | 14,206 |
| datatypes/ | H | 09-Apr-2019 | - | 8,111 | 6,131 |
| example/ | H | 09-Apr-2019 | - | 906 | 377 |
| fp/ | H | 09-Apr-2019 | - | 6,159 | 4,591 |
| idl/ | H | 09-Apr-2019 | - | 832 | 449 |
| quantifiers/ | H | 09-Apr-2019 | - | 72,052 | 52,165 |
| sep/ | H | 09-Apr-2019 | - | 2,493 | 1,989 |
| sets/ | H | 09-Apr-2019 | - | 6,306 | 5,020 |
| strings/ | H | 09-Apr-2019 | - | 16,777 | 12,977 |
| uf/ | H | 09-Apr-2019 | - | 9,009 | 6,215 |
| assertion.cpp | H A D | 09-Apr-2019 | 776 | 28 | 8 |
| assertion.h | H A D | 09-Apr-2019 | 1.5 KiB | 53 | 18 |
| atom_requests.cpp | H A D | 09-Apr-2019 | 2.5 KiB | 80 | 44 |
| atom_requests.h | H A D | 09-Apr-2019 | 3.1 KiB | 127 | 62 |
| care_graph.h | H A D | 09-Apr-2019 | 1.6 KiB | 63 | 28 |
| decision_manager.cpp | H A D | 09-Apr-2019 | 2.1 KiB | 70 | 46 |
| decision_manager.h | H A D | 09-Apr-2019 | 4.3 KiB | 120 | 39 |
| decision_strategy.cpp | H A D | 09-Apr-2019 | 3.8 KiB | 146 | 110 |
| decision_strategy.h | H A D | 09-Apr-2019 | 4.8 KiB | 147 | 52 |
| evaluator.cpp | H A D | 09-Apr-2019 | 16.2 KiB | 616 | 529 |
| evaluator.h | H A D | 09-Apr-2019 | 3.2 KiB | 114 | 53 |
| ext_theory.cpp | H A D | 09-Apr-2019 | 15.1 KiB | 556 | 475 |
| ext_theory.h | H A D | 09-Apr-2019 | 9.5 KiB | 251 | 87 |
| interrupted.h | H A D | 09-Apr-2019 | 1.6 KiB | 44 | 11 |
| logic_info.cpp | H A D | 09-Apr-2019 | 19.7 KiB | 693 | 591 |
| logic_info.h | H A D | 09-Apr-2019 | 8.7 KiB | 283 | 92 |
| logic_info.i | H A D | 09-Apr-2019 | 593 | 18 | 12 |
| mkrewriter | H A D | 09-Apr-2019 | 6.8 KiB | 284 | 203 |
| mktheorytraits | H A D | 09-Apr-2019 | 10.6 KiB | 431 | 329 |
| output_channel.h | H A D | 09-Apr-2019 | 6.8 KiB | 198 | 50 |
| quantifiers_engine.cpp | H A D | 09-Apr-2019 | 45.5 KiB | 1,296 | 1,107 |
| quantifiers_engine.h | H A D | 09-Apr-2019 | 15.9 KiB | 435 | 243 |
| rep_set.cpp | H A D | 09-Apr-2019 | 11.6 KiB | 449 | 383 |
| rep_set.h | H A D | 09-Apr-2019 | 10.8 KiB | 317 | 99 |
| rewriter.cpp | H A D | 09-Apr-2019 | 9.3 KiB | 268 | 163 |
| rewriter.h | H A D | 09-Apr-2019 | 3.4 KiB | 120 | 42 |
| rewriter_attributes.h | H A D | 09-Apr-2019 | 2.5 KiB | 103 | 62 |
| rewriter_tables_template.h | H A D | 09-Apr-2019 | 2.5 KiB | 108 | 74 |
| shared_terms_database.cpp | H A D | 09-Apr-2019 | 8.9 KiB | 268 | 193 |
| shared_terms_database.h | H A D | 09-Apr-2019 | 7.6 KiB | 259 | 103 |
| sort_inference.cpp | H A D | 09-Apr-2019 | 30.3 KiB | 852 | 730 |
| sort_inference.h | H A D | 09-Apr-2019 | 5.8 KiB | 167 | 84 |
| subs_minimize.cpp | H A D | 09-Apr-2019 | 12.9 KiB | 469 | 396 |
| subs_minimize.h | H A D | 09-Apr-2019 | 3.4 KiB | 101 | 33 |
| substitutions.cpp | H A D | 09-Apr-2019 | 8.7 KiB | 272 | 192 |
| substitutions.h | H A D | 09-Apr-2019 | 5.4 KiB | 203 | 89 |
| term_registration_visitor.cpp | H A D | 09-Apr-2019 | 12.1 KiB | 338 | 263 |
| term_registration_visitor.h | H A D | 09-Apr-2019 | 4 KiB | 156 | 42 |
| theory.cpp | H A D | 09-Apr-2019 | 11.4 KiB | 391 | 307 |
| theory.h | H A D | 09-Apr-2019 | 28.1 KiB | 919 | 351 |
| theory_engine.cpp | H A D | 09-Apr-2019 | 80.2 KiB | 2,302 | 1,733 |
| theory_engine.h | H A D | 09-Apr-2019 | 28.1 KiB | 936 | 366 |
| theory_model.cpp | H A D | 09-Apr-2019 | 21.3 KiB | 649 | 543 |
| theory_model.h | H A D | 09-Apr-2019 | 15.1 KiB | 355 | 84 |
| theory_model_builder.cpp | H A D | 09-Apr-2019 | 37 KiB | 1,185 | 975 |
| theory_model_builder.h | H A D | 09-Apr-2019 | 9.2 KiB | 263 | 50 |
| theory_registrar.h | H A D | 09-Apr-2019 | 1.5 KiB | 48 | 17 |
| theory_test_utils.h | H A D | 09-Apr-2019 | 3.5 KiB | 128 | 84 |
| theory_traits_template.h | H A D | 09-Apr-2019 | 1.3 KiB | 55 | 23 |
| type_enumerator.h | H A D | 09-Apr-2019 | 5.3 KiB | 189 | 118 |
| type_enumerator_template.cpp | H A D | 09-Apr-2019 | 1.5 KiB | 61 | 37 |
| type_set.cpp | H A D | 09-Apr-2019 | 3 KiB | 147 | 119 |
| type_set.h | H A D | 09-Apr-2019 | 2.7 KiB | 91 | 40 |
| valuation.cpp | H A D | 09-Apr-2019 | 3.6 KiB | 136 | 104 |
| valuation.h | H A D | 09-Apr-2019 | 4.7 KiB | 155 | 43 |