mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-03 08:55:14 +00:00
Code Activity

include FS logic

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-11-21 13:14:53 -08:00
parent df816cab07
commit 04cb59fd74
3 changed files with 12 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/solver/smt_logics.h
View file

@ -27,6 +27,7 @@ public:
static bool logic_has_arith(symbol const & s);
static bool logic_has_bv(symbol const & s);
static bool logic_has_array(symbol const & s);
static bool logic_has_finite_sets(symbol const &s);
static bool logic_has_seq(symbol const & s);
static bool logic_has_str(symbol const & s);
static bool logic_has_fpa(symbol const & s);