Gene-CluEDO-0.0.0.1: tests/properties.hs
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 ()
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 ()