2 Commits

Author	SHA1	Message	Date
Robert O'Callahan	e0ae7b7af4	Remove .c_str() calls from log()/log_error() ... There are some leftovers, but this is an easy regex-based approach that removes most of them.	2025-09-11 20:59:37 +00:00
Emily Schmidt	00a65754bb	factor out SExpr/SExprWriter classes out of smtlib backend, and also tidy them up/document them	2024-08-21 11:03:27 +01:00