{- |
Description :  experimental logic for the speciﬁcation of qualitative constraint calculi
Copyright   :  (c) Otto-von-Guericke University of Magdeburg
License     :  GPLv2 or higher, see LICENSE.txt

The "ConstraintCASL" folder contains the skeleton of
an instance of "Logic.Logic" for ConstraintCASL, an experimental logic for the speciﬁcation of qualitative constraint calculi. 

-}

module ConstraintCASL where
