• Home
  • History
  • Annotate
Name Date Size #Lines LOC

..03-May-2022-

blast_term_ite_tactic.cppH A D18-Nov-20216.8 KiB222163

blast_term_ite_tactic.hH A D18-Nov-2021722 376

cofactor_elim_term_ite.cppH A D18-Nov-202123.9 KiB700601

cofactor_elim_term_ite.hH A D18-Nov-2021700 4115

cofactor_term_ite_tactic.cppH A D18-Nov-20211.9 KiB7341

cofactor_term_ite_tactic.hH A D18-Nov-2021579 315

collect_occs.cppH A D18-Nov-20212 KiB9569

collect_occs.hH A D18-Nov-2021545 3712

collect_statistics_tactic.cppH A D18-Nov-20216 KiB202152

collect_statistics_tactic.hH A D18-Nov-2021534 325

ctx_simplify_tactic.cppH A D18-Nov-202120 KiB634541

ctx_simplify_tactic.hH A D18-Nov-20211.7 KiB6734

der_tactic.cppH A D18-Nov-20212 KiB9161

der_tactic.hH A D18-Nov-2021338 284

distribute_forall_tactic.cppH A D18-Nov-20214.3 KiB14096

distribute_forall_tactic.hH A D18-Nov-2021449 295

dom_simplify_tactic.cppH A D18-Nov-202117.5 KiB610506

dom_simplify_tactic.hH A D18-Nov-20214.2 KiB14887

elim_term_ite_tactic.cppH A D18-Nov-20215.1 KiB171127

elim_term_ite_tactic.hH A D18-Nov-2021542 325

elim_uncnstr_tactic.cppH A D18-Nov-202132.5 KiB897766

elim_uncnstr_tactic.hH A D18-Nov-2021512 315

injectivity_tactic.cppH A D18-Nov-20218.6 KiB296196

injectivity_tactic.hH A D18-Nov-2021467 315

nnf_tactic.cppH A D18-Nov-20213.1 KiB11478

nnf_tactic.hH A D18-Nov-2021581 346

occf_tactic.cppH A D18-Nov-20216.6 KiB219168

occf_tactic.hH A D18-Nov-2021743 375

pb_preprocess_tactic.cppH A D18-Nov-202120.8 KiB652542

pb_preprocess_tactic.hH A D18-Nov-2021579 335

propagate_values_tactic.cppH A D18-Nov-20217.5 KiB251203

propagate_values_tactic.hH A D18-Nov-2021553 315

reduce_args_tactic.cppH A D18-Nov-202118.4 KiB509390

reduce_args_tactic.hH A D18-Nov-2021565 305

reduce_invertible_tactic.cppH A D18-Nov-202118.1 KiB577458

reduce_invertible_tactic.hH A D18-Nov-2021522 335

simplify_tactic.cppH A D18-Nov-20212.8 KiB12587

simplify_tactic.hH A D18-Nov-20211.3 KiB5620

solve_eqs_tactic.cppH A D18-Nov-202145.1 KiB1,141971

solve_eqs_tactic.hH A D18-Nov-2021562 336

special_relations_tactic.cppH A D18-Nov-20216.3 KiB182142

special_relations_tactic.hH A D18-Nov-20211.8 KiB7130

split_clause_tactic.cppH A D18-Nov-20214.7 KiB13998

split_clause_tactic.hH A D18-Nov-2021535 314

symmetry_reduce_tactic.cppH A D18-Nov-202120.4 KiB644550

symmetry_reduce_tactic.hH A D18-Nov-2021461 315

tseitin_cnf_tactic.cppH A D18-Nov-202132.2 KiB942798

tseitin_cnf_tactic.hH A D18-Nov-2021899 356