module Main where

-- | Each optimal path @a -> b -> c@ has has a co-optimal path @c -> b ->
-- a@ whenever the distance matrix is symmetric.

-- prop_symmetric_coopts :: ()

main :: IO ()
main = return ()