Copyright (c) 2026 LUBIS EDA GmbH. All rights reserved.

This software ("Formalos Verification Plan" for Visual Studio Code) is
proprietary and confidential. It is made available solely for internal use by
authorized LUBIS EDA GmbH personnel and their designated collaborators, and
connects only to LUBIS EDA's private FormalOS services.

No license or right is granted to any other party to use, copy, modify, merge,
publish, distribute, sublicense, or sell this software or any portion of it,
except as expressly authorized in writing by LUBIS EDA GmbH.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
