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: 0993dbf7efb4308f37836f0eaf175c3ec66553fc (plain) (blame)

Copyright (c) Microsoft Corporations

SPDX-License-Identifier: MIT

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