| Copyright | (c) Otto-von-Guericke University of Magdeburg |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Safe Haskell | Safe |
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.