Hets - the Heterogeneous Tool Set

Copyright(c) Otto-von-Guericke University of Magdeburg
LicenseGPLv2 or higher, see LICENSE.txt
Safe HaskellSafe

Driver

Description

Hets command line interface.

Driver.Options command line options

Driver.ReadFn reader for Hets input files

Driver.WriteFn writer for files output by Hets

Driver.Version template for generating the Version module of Hets