Encoding hampath_decision.gringo

Name	hampath_decision.gringo
Class Tree	[Root] Graph Problems (32) Hamilton (17) HamiltonianPath (5)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	A Gringo encoding of the Hamiltonian Path problem.
Created	2009-03-09 20:45
Modified	2009-03-10 14:43
Languages	Gringo 2.0.2
Language Features	Cardinality constraints Choice rules
Compatible Instance Classes	HamiltonianPath
Input Predicates	edge/2 start/1 vtx/1
Output Predicates	path/2
Encoding Parameter
Standalone	No
Tags	ASP Contest 09 (Martin Gebser)
Attributes
Content	1 { path(X,Y) : edge(X,Y) } 1 :- vtx(Y), not start(Y). reached(X) :- start(X). reached(Y) :- reached(X), path(X,Y), { path(X,Z) : edge(X,Z) : Z != Y } 0. :- vtx(X), not reached(X). #hide. #show path(X,Y).

Actions