The repository contains Java bindings for Z3 for use in the Refinery project.
Some code in this repository has been adapter from Google OR-TOOLS, which is available under The Apache License, Version 2.0.
The artifacts produced in the repository repackage upstream Z3 releases as
Maven modules. As an exception, we build binaries for Linux aarch64,
because Z3 does not offer glibc 2.31 compatible binaries for aarch64, but
only for x64. Refinery uses
Amazon Linux 2023 Minimal
for its container images, which only supports glibc 2.34, but not
glibc 2.35 as required by upstream Z3 binaries.
Copyright (c) 2023-2024 The Refinery Authors
Z3 is available under the MIT License.
Refinery Z3 Java Bindings are available under The Apache License, Version 2.0.
Refinery complies with the REUSE Specification – Version 3.0 to provide copyright and licensing information to each file, including files available under other licenses. For more information, see the comments headers in each file and the license texts in the LICENSES directory.