Ask for a feature or report a bug. Vote up the ones you want next.
Reporting an error in Z3 (computer).
Test