| .. | | 03-May-2022 | - |
| blast_term_ite_tactic.cpp | H A D | 18-Nov-2021 | 6.8 KiB | 222 | 163 |
| blast_term_ite_tactic.h | H A D | 18-Nov-2021 | 722 | 37 | 6 |
| cofactor_elim_term_ite.cpp | H A D | 18-Nov-2021 | 23.9 KiB | 700 | 601 |
| cofactor_elim_term_ite.h | H A D | 18-Nov-2021 | 700 | 41 | 15 |
| cofactor_term_ite_tactic.cpp | H A D | 18-Nov-2021 | 1.9 KiB | 73 | 41 |
| cofactor_term_ite_tactic.h | H A D | 18-Nov-2021 | 579 | 31 | 5 |
| collect_occs.cpp | H A D | 18-Nov-2021 | 2 KiB | 95 | 69 |
| collect_occs.h | H A D | 18-Nov-2021 | 545 | 37 | 12 |
| collect_statistics_tactic.cpp | H A D | 18-Nov-2021 | 6 KiB | 202 | 152 |
| collect_statistics_tactic.h | H A D | 18-Nov-2021 | 534 | 32 | 5 |
| ctx_simplify_tactic.cpp | H A D | 18-Nov-2021 | 20 KiB | 634 | 541 |
| ctx_simplify_tactic.h | H A D | 18-Nov-2021 | 1.7 KiB | 67 | 34 |
| der_tactic.cpp | H A D | 18-Nov-2021 | 2 KiB | 91 | 61 |
| der_tactic.h | H A D | 18-Nov-2021 | 338 | 28 | 4 |
| distribute_forall_tactic.cpp | H A D | 18-Nov-2021 | 4.3 KiB | 140 | 96 |
| distribute_forall_tactic.h | H A D | 18-Nov-2021 | 449 | 29 | 5 |
| dom_simplify_tactic.cpp | H A D | 18-Nov-2021 | 17.5 KiB | 610 | 506 |
| dom_simplify_tactic.h | H A D | 18-Nov-2021 | 4.2 KiB | 148 | 87 |
| elim_term_ite_tactic.cpp | H A D | 18-Nov-2021 | 5.1 KiB | 171 | 127 |
| elim_term_ite_tactic.h | H A D | 18-Nov-2021 | 542 | 32 | 5 |
| elim_uncnstr_tactic.cpp | H A D | 18-Nov-2021 | 32.5 KiB | 897 | 766 |
| elim_uncnstr_tactic.h | H A D | 18-Nov-2021 | 512 | 31 | 5 |
| injectivity_tactic.cpp | H A D | 18-Nov-2021 | 8.6 KiB | 296 | 196 |
| injectivity_tactic.h | H A D | 18-Nov-2021 | 467 | 31 | 5 |
| nnf_tactic.cpp | H A D | 18-Nov-2021 | 3.1 KiB | 114 | 78 |
| nnf_tactic.h | H A D | 18-Nov-2021 | 581 | 34 | 6 |
| occf_tactic.cpp | H A D | 18-Nov-2021 | 6.6 KiB | 219 | 168 |
| occf_tactic.h | H A D | 18-Nov-2021 | 743 | 37 | 5 |
| pb_preprocess_tactic.cpp | H A D | 18-Nov-2021 | 20.8 KiB | 652 | 542 |
| pb_preprocess_tactic.h | H A D | 18-Nov-2021 | 579 | 33 | 5 |
| propagate_values_tactic.cpp | H A D | 18-Nov-2021 | 7.5 KiB | 251 | 203 |
| propagate_values_tactic.h | H A D | 18-Nov-2021 | 553 | 31 | 5 |
| reduce_args_tactic.cpp | H A D | 18-Nov-2021 | 18.4 KiB | 509 | 390 |
| reduce_args_tactic.h | H A D | 18-Nov-2021 | 565 | 30 | 5 |
| reduce_invertible_tactic.cpp | H A D | 18-Nov-2021 | 18.1 KiB | 577 | 458 |
| reduce_invertible_tactic.h | H A D | 18-Nov-2021 | 522 | 33 | 5 |
| simplify_tactic.cpp | H A D | 18-Nov-2021 | 2.8 KiB | 125 | 87 |
| simplify_tactic.h | H A D | 18-Nov-2021 | 1.3 KiB | 56 | 20 |
| solve_eqs_tactic.cpp | H A D | 18-Nov-2021 | 45.1 KiB | 1,141 | 971 |
| solve_eqs_tactic.h | H A D | 18-Nov-2021 | 562 | 33 | 6 |
| special_relations_tactic.cpp | H A D | 18-Nov-2021 | 6.3 KiB | 182 | 142 |
| special_relations_tactic.h | H A D | 18-Nov-2021 | 1.8 KiB | 71 | 30 |
| split_clause_tactic.cpp | H A D | 18-Nov-2021 | 4.7 KiB | 139 | 98 |
| split_clause_tactic.h | H A D | 18-Nov-2021 | 535 | 31 | 4 |
| symmetry_reduce_tactic.cpp | H A D | 18-Nov-2021 | 20.4 KiB | 644 | 550 |
| symmetry_reduce_tactic.h | H A D | 18-Nov-2021 | 461 | 31 | 5 |
| tseitin_cnf_tactic.cpp | H A D | 18-Nov-2021 | 32.2 KiB | 942 | 798 |
| tseitin_cnf_tactic.h | H A D | 18-Nov-2021 | 899 | 35 | 6 |