moo maude hack $ cd src/bin $ ./monologue problems/ap.gl # or some other problem $ ./monologue --help # will give some info bjarneh