/-
Copyright (c) 2026 QudeLeap. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Authors: QudeLeap Team
-/

module

public import QuantumAlg.Algorithms.OrderFinding.Exact.Mathematics
public import QuantumAlg.Algorithms.OrderFinding.Exact.Endpoint
public import QuantumAlg.Algorithms.OrderFinding.Exact.PublicCounts

/-!
# Exact dyadic order finding

The original dyadic recovery mathematics and complete native sampling endpoint,
with public exact resource counts from the actual decoded execution.
-/