On Tuesday, 17 May 2022 at 04:30:18 UTC, max haughton wrote: > Z3 and LLVM are not written in C, unless you mean the stable > APIs to them. Sooo... In this context C and C++ with C interface is the same. Yes, many Cish codebases are dressed up as C++ these days.