Contributors to the Gazer project

Gyula Sallai: Design and initial implementation.
Ákos Hajdu: Advisor.
Ádám Zsófia
László Radnai

Dependencies

Gazer depends on certain third-party libraries, each of them distributed with their own licences.

LLVM: Distributed under the Apache 2.0 license with LLVM exceptions.
Boost C++ Libraries: Distributed under the Boost Software License.
Z3 Theorem Prover: Distributed under the MIT License.
Google Test: Distributed under the BSD 3-Clause License.

Third-party software

Gazer contains the following code written by third parties.

test/sv-comp

Code in this directory is taken from the SV-Comp benchmarks repository and is distributed under the Apache 2.0 license.
See https://github.com/sosy-lab/sv-benchmarks/ for further information.