Index of /backup/Downloads/z3-solver-4.8.12.0 (2)/core/src/tactic/core/

../
CMakeLists.txt                                     13-Jul-2021 14:03                1368
blast_term_ite_tactic.cpp                          13-Jul-2021 14:03                6942
blast_term_ite_tactic.h                            13-Jul-2021 14:03                 722
cofactor_elim_term_ite.cpp                         13-Jul-2021 14:03               24508
cofactor_elim_term_ite.h                           13-Jul-2021 14:03                 700
cofactor_term_ite_tactic.cpp                       13-Jul-2021 14:03                1989
cofactor_term_ite_tactic.h                         13-Jul-2021 14:03                 579
collect_occs.cpp                                   13-Jul-2021 14:03                2094
collect_occs.h                                     13-Jul-2021 14:03                 545
collect_statistics_tactic.cpp                      13-Jul-2021 14:03                6186
collect_statistics_tactic.h                        13-Jul-2021 14:03                 534
ctx_simplify_tactic.cpp                            13-Jul-2021 14:03               20460
ctx_simplify_tactic.h                              13-Jul-2021 14:03                1741
der_tactic.cpp                                     13-Jul-2021 14:03                2045
der_tactic.h                                       13-Jul-2021 14:03                 338
distribute_forall_tactic.cpp                       13-Jul-2021 14:03                4362
distribute_forall_tactic.h                         13-Jul-2021 14:03                 449
dom_simplify_tactic.cpp                            13-Jul-2021 14:03               17946
dom_simplify_tactic.h                              13-Jul-2021 14:03                4273
elim_term_ite_tactic.cpp                           13-Jul-2021 14:03                5203
elim_term_ite_tactic.h                             13-Jul-2021 14:03                 542
elim_uncnstr_tactic.cpp                            13-Jul-2021 14:03               33316
elim_uncnstr_tactic.h                              13-Jul-2021 14:03                 512
injectivity_tactic.cpp                             13-Jul-2021 14:03                8770
injectivity_tactic.h                               13-Jul-2021 14:03                 467
nnf_tactic.cpp                                     13-Jul-2021 14:03                3183
nnf_tactic.h                                       13-Jul-2021 14:03                 581
occf_tactic.cpp                                    13-Jul-2021 14:03                6723
occf_tactic.h                                      13-Jul-2021 14:03                 743
pb_preprocess_tactic.cpp                           13-Jul-2021 14:03               21179
pb_preprocess_tactic.h                             13-Jul-2021 14:03                 579
propagate_values_tactic.cpp                        13-Jul-2021 14:03                7731
propagate_values_tactic.h                          13-Jul-2021 14:03                 553
reduce_args_tactic.cpp                             13-Jul-2021 14:03               18889
reduce_args_tactic.h                               13-Jul-2021 14:03                 565
reduce_invertible_tactic.cpp                       13-Jul-2021 14:03               16776
reduce_invertible_tactic.h                         13-Jul-2021 14:03                 522
simplify_tactic.cpp                                13-Jul-2021 14:03                2889
simplify_tactic.h                                  13-Jul-2021 14:03                1311
solve_eqs_tactic.cpp                               13-Jul-2021 14:03               45652
solve_eqs_tactic.h                                 13-Jul-2021 14:03                 562
special_relations_tactic.cpp                       13-Jul-2021 14:03                6452
special_relations_tactic.h                         13-Jul-2021 14:03                1801
split_clause_tactic.cpp                            13-Jul-2021 14:03                4827
split_clause_tactic.h                              13-Jul-2021 14:03                 535
symmetry_reduce_tactic.cpp                         13-Jul-2021 14:03               20842
symmetry_reduce_tactic.h                           13-Jul-2021 14:03                 461
tseitin_cnf_tactic.cpp                             13-Jul-2021 14:03               32979
tseitin_cnf_tactic.h                               13-Jul-2021 14:03                 899