Hets - the Heterogeneous Tool Set

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

ConstraintCASL

Description

The ConstraintCASL folder contains the skeleton of an instance of Logic.Logic for ConstraintCASL, an experimental logic for the specification of qualitative constraint calculi.