1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
/*++ Copyright (c) 2026 Romain Soulat Module Name: ff_tactic.h Abstract: Portfolio-level SMT fallback tactic and probe for goals containing prime-field terms. Author: Romain Soulat --*/ #pragma once #include "util/params.h" class ast_manager; class tactic; tactic *mk_ff_smt_tactic(ast_manager &m, params_ref const &p);