Change Details

Changelogs: * https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md#version-4153 * https://github.com/Z3Prover/z3/compare/z3-4.14.1...z3-4.15.3 * Pet portfmt(1) ande portlint(1)

Changelogs: * https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md#version-4153 * https://github.com/Z3Prover/z3/compare/z3-4.14.1...z3-4.15.3 * Pet portfmt(1) and portlint(1)

Changelogs: * https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md#version-4153 * https://github.com/Z3Prover/z3/compare/z3-4.14.1...z3-4.15.3 * Pet portfmt(1) ande portlint(1)