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
).