backend/__init__.py

"""Backend package for demo API and adapters."""

__all__ = ["api", "universe", "adapters", "prover_adapter"]
# Backend package initializer

# This file makes `backend` a Python package so tests can import it.