'Z3 and let statement in C/C++
SMT-LIB support a let statement:
(let ((x1 t1) · · · (xn tn)) t)
Which statements must be used if the C/C++ library of Z3 is being used?
Sources
This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.
Source: Stack Overflow
| Solution | Source |
|---|