We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
b8140b8
This patch handles unsatisfied link errors (related to Z3 libraries) in a uniform way (similarly to other exceptions).
