From 725b1c56e572fb4c63f78680b9f89da7511b0a23 Mon Sep 17 00:00:00 2001 From: "Douglas B. Staple" Date: Thu, 26 May 2016 09:55:08 -0300 Subject: [PATCH] Export default tactic for use via the SMT-LIB 2 interface. --- src/tactic/portfolio/default_tactic.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/tactic/portfolio/default_tactic.h b/src/tactic/portfolio/default_tactic.h index f684fba85..2f40fa145 100644 --- a/src/tactic/portfolio/default_tactic.h +++ b/src/tactic/portfolio/default_tactic.h @@ -25,4 +25,8 @@ class tactic; tactic * mk_default_tactic(ast_manager & m, params_ref const & p = params_ref()); +/* +ADD_TACTIC("default", "default strategy used when no logic is specified.", "mk_default_tactic(m, p)") +*/ + #endif