{- |
Description :  logic for OMG's query/view/transformation language
Copyright   :  (c) Otto-von-Guericke University of Magdeburg
License     :  GPLv2 or higher, see LICENSE.txt

The "QVTR" folder contains the skeleton of
an instance of "Logic.Logic" for the query/view/transformation language defined by OMG and used in the context of UML and model driven engineering, see <https://en.wikipedia.org/wiki/QVT>.

-}

module QVTR where