libz3java.so.license « z3java-linux-aarch64 « resources « main « src « solver-linux-aarch64 « subprojects « z3 - refinery - Mirror of https://github.com/graphs4value/refinery

index : refinery

Mirror of https://github.com/graphs4value/refinery

Graphs4Value

about summary refs log tree commit diff stats

path: root/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3java.so.license

blob: 6f1e5a96762847d260c1b5e7d79e7bd195391e12 (plain) (blame)

Copyright (c) Microsoft Corporations

SPDX-License-Identifier: MIT

This file was created from the Z3 4.12.2 release sources using the
z3/docker/cross_build.sh script in this repository.