diff --git a/README.md b/README.md
index 4d496e0ff8..36e92128ef 100644
--- a/README.md
+++ b/README.md
@@ -56,7 +56,7 @@ Only a few SMT solvers provide support for theories like Arrays, Floating Point,
 
 Currently JavaSMT supports several SMT solvers (see [Getting Started](doc/Getting-started.md) for installation):
 
-| SMT Solver | Linux64 | Windows64 | MacOS | Description |
+| SMT Solver | Linux | Windows | MacOS | Description |
 | --- |:---:|:---:|:---:|:--- |
 | [Bitwuzla](https://bitwuzla.github.io/) | :heavy_check_mark: | :heavy_check_mark: |  | a fast solver for bitvector logic |
 | [Boolector](https://boolector.github.io/) | :heavy_check_mark: |  |  | a fast solver for bitvector logic, misses formula introspection, deprecated |
@@ -70,12 +70,17 @@ Currently JavaSMT supports several SMT solvers (see [Getting Started](doc/Gettin
 | [Yices2](https://yices.csl.sri.com/) | :heavy_check_mark: | [maybe](https://github.com/sosy-lab/java-smt/pull/215) |  |  |
 | [Z3](https://github.com/Z3Prover/z3) | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: | mature and well-known solver |
 
+#### Operating System and Architecture Support
 We support a reasonable list of operating systems and versions.
 Our main target is Linux (64-bit, mainly Ubuntu 22.04 or newer,
 several solver libraries also work on Ubuntu 18.04, or comparable Linux distributions).
-Windows 10/11 and MacOS are supported for several SMT solvers (with limited hardware for testing).
-If a specific operating system is missing and required, please do not hesitate and open an issue!
+Windows 10/11 and MacOS are supported for several SMT solvers.
+Our main development architecture is x64 (x86-64).
+We also provide some solvers for ARM64 (AArch64 for ARMv8-A), e.g., Java-based SMT solvers and Z3.
+If a specific operating system or architecture is missing and required,
+please do not hesitate and open an issue!
 
+#### Solver Features
 The following features are supported (depending on the used SMT solver):
 
  - Satisfiability checking