Grace/Cumulus/GraphTheory.g17

Open in Workbench Download source

Imports

DijkstraCorrectness · CountingInvariant · Konigsberg · Ramsey · Multigraph.Trees · Multigraph.Quotient · Multigraph.Subgraph · Multigraph.Doubling · TreePacking.Corollaries · Flows.EightFlow · DoubleCover.Obstruction · DoubleCover.Projection

Declarations

Source

1-- Graph theory2-- Part of Cumulus, the Grace17 mathematics library.3-- Copyright (c) 2026 Grant Passmore.4-- Released under the Apache License 2.0. See LICENSE in the repository root.5-- Authors: Grant Passmore67module Grace.Cumulus.GraphTheory8import DijkstraCorrectness9import CountingInvariant10import Konigsberg11import Ramsey12import Multigraph.Trees13import Multigraph.Quotient14import Multigraph.Subgraph15import Multigraph.Doubling16import TreePacking.Corollaries17import Flows.EightFlow18import DoubleCover.Obstruction19import DoubleCover.Projection20