Instance cg01-planning.pl.txt

Name	cg01-planning.pl.txt
Classes	[Root] Planning (2188) Hydraulic System (2188) Hydraulic Planning (33) Model and Solve Track 3D ASP Competition (13) Training Instances 3D ASP Competition (5)
Submitter	Martin Gebser
Author	Michael Gelfond and Ricardo Morales and Yuanlin Zhang
Description
Created	2009-04-09 17:17
Modified	2009-04-09 17:17
Languages	Facts
Language Features
Compatible Encodings	hydraulic-planning_decision.gringo hydraulic-planning_decision.iclingo
Output Predicates	full/1 goal/1 jet/1 junction/1 link/3 numValves/1 stuck/1 tank/1 valve/1
Tags:	ASP Contest 09 (Martin Gebser)
Attributes
Content	numValves(11). tank(t011). tank(t012). jet(j). junction(p1). junction(p2). junction(p3). junction(p4). junction(p5). junction(p6). junction(p7). valve(v1). valve(v2). valve(v3). valve(v4). valve(v5). valve(v6). valve(v7). valve(v8). valve(v9). valve(v10). valve(v11). link(t011,p1,v1). link(p1,p2,v2). link(p2,p3,v3). link(p3,p4,v4). link(p1,p5,v5). link(p5,p1,v5). link(p2,p6,v6). link(p6,p2,v6). link(p3,p7,v7). link(p4,j,v8). link(t012,p5,v11). link(p5,p6,v9). link(p7,j,v10). full(t011). full(t012). goal(j).

Actions