https://github.com/maumagnaguagno/planning_latex

:newspaper: Latex listing for planning formalisms
https://github.com/maumagnaguagno/planning_latex

hddl jshop latex listing pddl planning

Last synced: about 2 months ago
JSON representation

:newspaper: Latex listing for planning formalisms

• Host: GitHub
• URL: https://github.com/maumagnaguagno/planning_latex
• Owner: Maumagnaguagno
• Created: 2017-03-03T02:12:47.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2022-05-17T19:29:28.000Z (about 3 years ago)
• Last Synced: 2025-04-09T22:52:15.582Z (about 2 months ago)
• Topics: hddl, jshop, latex, listing, pddl, planning
• Language: TeX
• Homepage:
• Size: 5.86 KB
• Stars: 14
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Planning LaTeX

**Latex listing for planning formalisms**

Add PDDL, JSHOP and HDDL snippets to your Tex files by making a copy of each listing configuration file to your LaTeX project.

An example is available on [Overleaf](https://www.overleaf.com/read/dntpdgmtpwxr).

```tex

\usepackage{listings}

\input{PDDL}

\input{JSHOP}

\input{HDDL}

\begin{lstlisting}[

  float=!htb,

  caption={PDDL move operator.},

  label={lst:pddl},

  language=PDDL]

(:action move

  :parameters (

    ?agent - agent

    ?from ?to - hallway ; Both ?from and ?to are hallways

  )

  :precondition (and

    (at ?agent ?from)

    (not (at ?agent ?to))

    (adjacent ?from ?to)

  )

  :effect (and

    (not (at ?agent ?from)) ; This line is usually forgotten

    (at ?agent ?to)

  )

)

\end{lstlisting}

```