Does cvc5 have a way to understand an SMTLIB string with its Python api? (Something like Z3's .from_string())
Parsing SMT LIB Strings with CVC 5 in Python Exploring Alternatives The ability to parse SMT LIB strings directly within your Python code is incredibly convenie