C vs C++ interface #5619
C vs C++ interface
#5619
-
|
Hi, just a quick question. Other than usability improvements from using C++ are there any capabilities found in one but not the other? I'd like to use C if it is a complete interface. Thanks |
Beta Was this translation helpful? Give feedback.
Answered by
NikolajBjorner
Oct 26, 2021
Replies: 1 comment
-
|
C is the complete interface. The C++ interface builds on top of the C interface. All other interfaces also build on top of the C interface. It is the only binary interface to Z3. You can also call the C interface from C++ code that uses the C++ interface because it is already included. |
Beta Was this translation helpful? Give feedback.
0 replies
Answer selected by
rayegun
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
C is the complete interface. The C++ interface builds on top of the C interface. All other interfaces also build on top of the C interface. It is the only binary interface to Z3. You can also call the C interface from C++ code that uses the C++ interface because it is already included.