/tsp-approximation

an approximation algorithm for the metric travelling salesperson problem, formulated within the Isabelle Refinement Framework

Primary LanguageIsabelleBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Watchers