Hets - the Heterogeneous Tool Set

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

UML

Description

The UML folder contains the skeleton of an instance of Logic.Logic for the Unified Modeling Language UML. The details are currently still on branch UML.