Encoding tsp_optimization.gringo

Name tsp_optimization.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A Gringo encoding of the Traveling Salesperson problem. The sum of edge costs is subject to minimization.
Created 2009-03-10 13:18
Modified 2009-03-10 13:40
Language Features
Compatible Instance Classes
Input Predicates
  • bound/1
  • edge/2
  • edgewt/3
  • maxweight/1
  • vtx/1
Output Predicates
  • cycle/2
Encoding Parameter
    Standalone Help No
    • ASP Contest 09 (Martin Gebser)