Next: Debug, Previous: PrincipleWriter, Up: Top
In this chapter, we describe the executable programs which expose the
functionality of the XDK: the graphical user interface (xdk),
the standalone grammar file compiler (xdkc), the standalone
grammar file converter, and the standalone solver (xdks).