Log in to continue.
Enter to send · Shift+Enter for a new line
Runtime configuration exposed by the Z3 API.