On Tuesday, 17 May 2022 at 05:43:07 UTC, Araq wrote: >> Yes, many Cish codebases are dressed up as C++ these days. > > That doesn't mean anything... Sorry, but I’ve looked over both code bases. They make limited use of C++ abstractions, just like dmd did. And you would interface with D through the Z3 C interface, not C++.