Add proper support for `:named` smtlib annotations#199

Merged

Gbury merged 5 commits intomasterfrom smt2_named

Nov 20, 2023

+622-238

Commits on Nov 13, 2023

Add implicit decls/defs
Gbury
committed

Commits on Nov 16, 2023

changes + some error handling
Gbury
committed

Commits on Nov 17, 2023

fix typo

Gbury
and
bclement-ocp
authored
review
Gbury
committed
change some assert false into proper errors
Gbury
committed