LICENSE

CN

Copyright (c) 2020-2025 Christopher Pulte
Copyright (c) 2021-2025 Dhruv Makwana
Copyright (c) 2021-2023 Thomas Sewell
Copyright (c) 2023-2025 Rini Banerjee
Copyright (c) 2023-2023 Neel Krishnaswami
Copyright (c) 2024-2024 Sam Cowger
Copyright (c) 2024-2024 Benjamin Pierce
Copyright (c) 2024-2024 Apol Medrano
Copyright (c) 2024-2024 Liz Austell
Copyright (c) 2024-2025 Iavor S. Diatchki
Copyright (c) 2024-2024 Mike Dodds
Copyright (c) 2024-2025 Zain K Aamer
Copyright (c) 2024-2024 James Parker
Copyright (c) 2024-2024 Daniel Sainati
Copyright (c) 2024-2025 Cassia Torczon
Copyright (c) 2024-2024 Michal Podhradsky
Copyright (c) 2024-2024 Peter Sewell
Copyright (c) 2025-2025 Kiran Gopinathan
Copyright (c) 2025-2025 Ethan Chou
Copyright (c) 2025-2025 Vadim Zaliva

All rights reserved.

This software has received funding from the European Research Council
(ERC) under the European Union's Horizon 2020 research and innovation
programme from grant agreement no. 101002277 "TypeFoundry", and no. 789108,
ERC-AdG-2017 "ELVER"; from the UK Research and Innovation (UKRI) under the
UK government’s Horizon Europe funding guarantee for ERC-AdG-2022,
EP/Y035976/1 "SAFER"; from an EPSRC Doctoral Training studentship;
from Google; from the Defense Advanced Research Projects Agencies (DARPA) 
under Contract No. FA8750-24-C-B044; and from a Royal Society University 
Research Fellowship URF\R1\241195 (Pulte).

Apart from the exceptions listed below, CN is made available
under the following BSD 2-clause license.

Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are met:

1. Redistributions of source code must retain the above copyright notice, this
   list of conditions and the following disclaimer.

2. Redistributions in binary form must reproduce the above copyright notice,
   this list of conditions and the following disclaimer in the documentation
   and/or other materials provided with the distribution.

THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


Exceptions to this license are detailed in THIRD_PARTY_FILES.md