Installation

Create a virtual environment and activate it.

Linux:

source ./venv/bin/activate

Windows PowerShell:

./venv/Scripts/activate.ps1

Install seal from PyPI via pip

pip install seal-tool

Alternative: Install seal from source

Download seal source code from Codeberg releases or clone the repository using git.

pip install .

The [dev] dependency group can be used to install all dependencies required for development. Its subgroups are [coverage], [codelint], [commitlint] and [docs].

pip install --group dev --editable .