This file contains copyright and license declarations
of libraries shipped in the dartagnan/target/dependencies/ subdirectory.

## Antlr Runtime
SPDX-FileCopyrightText: 2012-2017 The ANTLR Project
SPDX-License-Identifier: BSD-3-Clause

## Guava
SPDX-FileCopyrightText: The Guava authors
SPDX-License-Identifier: Apache-2.0

## JavaSMT
SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
SPDX-License-Identifier: Apache-2.0

## Smack
SPDX-FileCopyrightText: 2008-2021 Zvonimir Rakamaric (zvonimir@cs.utah.edu), Michael Emmi (michael.emmi@gmail.com)
SPDX-License-Identifier: MIT

## Z3
SPDX-FileCopyrightText: Microsoft Corporation
SPDX-License-Identifier: MIT
