Encoding psgrnd encoding

Name	psgrnd encoding
Class Tree	[Root] Graph Problems (32) Hamilton (17) HamiltonianPath (5)
Submitter	Martin Gebser
Author
Description	psgrnd/aspps encoding of Hamiltonian Path
Created	2009-03-30 13:03
Modified	2008-11-29 00:10
Languages	psgrnd
Language Features
Compatible Instance Classes
Input Predicates
Output Predicates
Encoding Parameter
Standalone	No
Tags
Attributes
Content	pred visit(vtx). pred hc(vtx,vtx):edge. pred start(vtx). pred end(vtx). var vtx X,Y. 1{start(_)}1. 1{end(_)}1. 1{hc(X,_)}1 \| end(X). 1{hc(_,X)}1 \| start(X). start(X), hc(Y,X) ->. end(Y), hc(Y,X) ->. visit(Y):- visit(X), hc(X,Y). visit(X):- start(X). visit(X).

Actions