helli / tsp-approximation Goto Github PK
View Code? Open in Web Editor NEWan approximation algorithm for the metric travelling salesperson problem, formulated within the Isabelle Refinement Framework
License: BSD 3-Clause "New" or "Revised" License