From 29b616bac6c9d9b6ac6adef6076e3102a2cf37ae Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 5 Jan 2026 07:29:00 -0800 Subject: [PATCH] Update README.md --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index 21585aef6..6cbe15dcb 100644 --- a/README.md +++ b/README.md @@ -230,6 +230,10 @@ A WebAssembly build with associated TypeScript typings is published on npm as [z Project [MachineArithmetic](https://github.com/shingarov/MachineArithmetic) provides a Smalltalk interface to Z3's C API. For more information, see [MachineArithmetic/README.md](https://github.com/shingarov/MachineArithmetic/blob/pure-z3/MachineArithmetic/README.md). +### AIX + +[https://github.com/Z3Prover/z3/pull/8113](Build settings for AIX are described here.) + ## System Overview ![System Diagram](https://github.com/Z3Prover/doc/blob/master/programmingz3/images/Z3Overall.jpg)