[project]
name = "verification"
version = "0.1.0"
description = "Formal verification of Renewal Libertarianism Part 1 apparatus"
requires-python = ">=3.12"
dependencies = [
    "matplotlib>=3.10.9",
    "networkx>=3.6.1",
    "numpy>=2.4.6",
    "scipy>=1.17.1",
    "sympy>=1.14.0",
]
