Añadido problema de la ciudad de méxico

1 files changed, 92 insertions, 0 deletions

diff --git a/mexico_city_metro.pddl b/mexico_city_metro.pddl
new file mode 100644
index 0000000..9e07840
--- /dev/null
+++ b/mexico_city_metro.pddl
@@ -0,0 +1,92 @@
+(define (problem MEXICOCITY)
+  (:domain METRO)
+  (:objects OBSERVATORIO TACUBAYA JUANACATLAN CHAPULTEPEC SEVILLA INSURGENTES CUAUHTEMOC
+	    BALDERAS SALTO_AGUA ISABEL_LA_CATOLICA PINO_SUAREZ MERCED MOCTEZUMA
+	    FLORES_MAGON R_RUBIO OCEANIA DEPORTIVO_OCEANIA BOSQUE_ARAGON VILLA_ARAGON
+	    NEZAHUALCOYOTL IMPULSORA REMEDIOS MUZQUIZ ECATEPEC OLIMPICA PLAZA_ARAGON
+	    CIUDAD_AZTECA TASQUENA GENERAL_ANAYA ERMITA PORTALES NATIVITAS VILLA_CORTES
+	    XOLA VIADUCTA CHABACANO SAN_LAZARO BALBUENA PTO_AEREO GOMEZ_FARIAS ZARAGOZA 
+	    SAN_ANTONIO_ABAD ZOCALO ALLENDE BELLAS_ARTES HIDALGO REVOLUCION SAN_COSME
+	    NORMAL COLEGIO_MILITAR POPOTLA CUITLAHUAC PANTEONES CUATRO_CAMINOS
+	    INDIOS_VERDES DEPORTIVO_MARZO POTRERO RAZA TLATELOLCO GUERRERO JUAREZ N_HEROES
+	    HOSPITAL CENTRO_MEDICO ETIOPIA EUGENIA DIVISION_NORTE ZAPATA COYOACAN VIVEROS
+	    QUEVEDO COPILCO UNIVERSIDAD SANTA_ANITA JAMAICA FRAY_SERVANDO CANDELARIA MORELOS
+	    CANAL_NORTE CONSULADO BONDOJITO TALISMAN MARTIN_CARRERA POLITECNICO
+	    INST_PETROLERO AUTOBUSES_NORTE MISTERIOS VALLE_GOMEZ EDUARDO_MOLINA
+	    ARAGON TERMINAL_AEREA HANGARES ROSARIO TEZOZOMOC AZCAPOTZALCO
+	    FERRERIA NORTE_45 VALLEJO LINDAVISTA BASILICA AQUILES_SERDAN CAMARONES
+	    SAN_JOAQUIN POLANDO AUDITORIO CONSTITUYENTES SP_LOS_PINOS SAN_ANTONIO MIXCOAC
+	    BARRANCA_MUERTO GARIBALDI JUAN_LETRAN DOCTORES OBRERA LA_VIGA COYUYA IZTACALCO
+	    APATLACO ACULCO ESCUADRON_201 ATLALILCO IZTAPALAPA ESTRELLA UAM CONSTITUCION
+	    PATRIOTISMO CHILPANCINGO LAZARO_CARDENAS MIXIUHCA VELODROMO CIUDAD_DEPORTIVA
+	    PUEBLA PANTITLAN - station
+	    TREN - train
+	    YO - person)
+  (:INIT (connected OBSERVATORIO TACUBAYA) (connected TACUBAYA JUANACATLAN)
+	 (connected JUANACATLAN CHAPULTEPEC) (connected CHAPULTEPEC SEVILLA)
+	 (connected SEVILLA INSURGENTES) (connected INSURGENTES CUAUHTEMOC)
+	 (connected CUAUHTEMOC BALDERAS) (connected BALDERAS SALTO_AGUA)
+	 (connected SALTO_AGUA ISABEL_LA_CATOLICA)
+	 (connected ISABEL_LA_CATOLICA PINO_SUAREZ) (connected PINO_SUAREZ MERCED)
+	 (connected MERCED CANDELARIA) (connected CANDELARIA SAN_LAZARO)
+	 (connected SAN_LAZARO MOCTEZUMA) (connected MOCTEZUMA BALBUENA)
+	 (connected BALBUENA PTO_AEREO) (connected PTO_AEREO GOMEZ_FARIAS)
+	 (connected GOMEZ_FARIAS ZARAGOZA) (connected ZARAGOZA PANTITLAN)
+	 (connected CUATRO_CAMINOS PANTEONES) (connected PANTEONES CUITLAHUAC)
+	 (connected CUITLAHUAC POPOTLA) (connected POPOTLA COLEGIO_MILITAR)
+	 (connected COLEGIO_MILITAR NORMAL) (connected NORMAL SAN_COSME)
+	 (connected SAN_COSME REVOLUCION) (connected REVOLUCION HIDALGO)
+	 (connected HIDALGO BELLAS_ARTES) (connected BELLAS_ARTES ALLENDE)
+	 (connected ALLENDE ZOCALO) (connected ZOCALO PINO_SUAREZ)
+	 (connected PINO_SUAREZ SAN_ANTONIO_ABAD) (connected SAN_ANTONIO_ABAD CHABACANO)
+	 (connected CHABACANO VIADUCTA) (connected VIADUCTA XOLA)
+	 (connected XOLA VILLA_CORTES) (connected VILLA_CORTES NATIVITAS)
+	 (connected NATIVITAS PORTALES) (connected PORTALES ERMITA)
+	 (connected EMITA GENERAL_ANAYA) (connected GENERAL_ANAYA TASQUENA)
+	 (connected INDIOS_VERDES DEPORTIVO_MARZO) (connected DEPORTIVO_MARZO POTRERO)
+	 (connected POTRERO RAZA) (connected RAZA TLATELOLCO)
+	 (connected TLATELOLCO GUERRERO) (connected GUERRERO HIDALGO)
+	 (connected HIDALGO JUAREZ) (connected JUAREZ BALDERAS)
+	 (connected BALDERAS N_HEROES) (connected N_HEROES HOSPITAL)
+	 (connected HOSPITAL CENTRO_MEDICO) (connected CENTRO_MEDICO ETIOPIA)
+	 (connected ETIOPIA EUGENIA) (connected EUGENIA DIVISION_NORTE)
+	 (connected DIVISION_NORTE ZAPATA) (connected ZAPATA COYOACAN)
+	 (connected COYOACAN VIVEROS) (connected VIVEROS QUEVEDO)
+	 (connected QUEVEDO COPILCO) (connected COPILCO UNIVERSIDAD)
+	 (connected SANTA_ANITA CHABACANO) (connected CHABACANO FRAY_SERVANDO)
+	 (connected FRAY_SERVANDO CANDELARIA) (connected CANDELARIA MORELOS)
+	 (connected MORELOS CANAL_NORTE) (connected CANAL_NORTE CONSULADO)
+	 (connected CONSULADO BONDOJITO) (connected BONDOJITO TALISMAN)
+	 (connected TALISMAN MARTIN_CARRERA) (connected POLITECNICO INST_PETROLERO)
+	 (connected INST_PETROLERO AUTOBUSES_NORTE) (connected AUTOBUSES_NORTE RAZA)
+	 (connected RAZA MISTERIOS) (connnected MISTERIOS VALLE_GOMEZ)
+	 (connected VALLE_GOMEZ CONSULADO) (connected CONSULADO EDUARDO_MOLINA)
+	 (connected EDUARDO_MOLINA ARAGON) (connected ARAGON OCEANIA)
+	 (connected OCEANIA TERMINAL_AEREA) (connected TERMINAL_AEREA HANGARES)
+	 (connected HANGARES PANTITLAN) (connected ROSARIO TEZOZOMOC)
+	 (connected TEZOZOMOC AZCAPOTZALCO) (connected AZCAPOTZALCO FERRERIA)
+	 (connected FERRERIA NORTE_45) (connected NORTE_45 VALLEJO)
+	 (connected VALLEJO INST_PETROLERO) (connected INST_PETROLERO LINDAVISTA)
+	 (connected LINDAVISTA DEPORTIVO_MARZO) (connected DEPORTIVO_MARZO BASILICA)
+	 (connected BASILICA MARTIN_CARRERA) (connected AQUILES_SERDAN CAMARONES)
+	 (connected CAMARONES SAN_JOAQUIN) (connected SAN_JOAQUIN POLANCO)
+	 (connected POLANCO AUDITORIO) (connected AUDITORIO CONSTITUYENTES)
+	 (connected CONSTITUYENTES TACUBAYA) (connected TACUBAYA SP_LOS_PINOS)
+	 (connected SP_LOS_PINOS SAN_ANTONIO) (connected SAN_ANTONIO MIXCOAC)
+	 (connected MIXCOAC BARRANCA_MUERTO) (connected GUERRERO GARIBALDI)
+	 (connected GARIBALDI BELLAS_ARTES) (connected BELLAS_ARTES JUAN_LETRAN)
+	 (connected JUAN_LETRAN SALTO_AGUA) (connected SALTO_AGUA DOCTORES)
+	 (connected DOCTORES OBRERA) (connected OBRERA CHABACANO)
+	 (connected CHABACANO LA_VIGA) (connected LA_VIGA SANTA_ANITA)
+	 (connected SANTA_ANITA COYUYA) (connected COYUYA IZTACALCO)
+	 (connected IZTACALCO APATLACO) (connected APATLACO ACULCO)
+	 (connected ACULCO ESCUADRON_201) (connected ESCUADRON_201 IZTAPALAPA)
+	 (connected IZTAPALAPA ESTRELLA) (connected ESTRELLA UAM)
+	 (connected UAM CONSTITUCION) (connected TACUBAYA PATRIOTISMO)
+	 (connected PATRIOTISMO CHILPANCINGO) (connected CHILPANCINGO CENTRO_MEDICO)
+	 (connected CENTRO_MEDICO LAZARO_CARDENAS) (connected LAZARO_CARDENAS CHABACANO)
+	 (connected CHABACANO JAMAICA) (connected JAMAICA MIXIUHCA)
+	 (connected MIXIUHCA VELODROMO) (connected VELODROMO CIUDAD_DEPORTIVA)
+	 (connected CIUDAD_DEPORTIVA PUEBLA) (connected PUEBLA PANTITLAN)
+	 (at TREN TACUBAYA) (in YO TREN))
+  (:GOAL (on YO GARIBALDI)))
\ No newline at end of file