The clafer package


Clafer is a general purpose, lightweight, structural modeling language developed at GSD Lab, University of Waterloo. Lightweight modeling aims at improving the understanding of the problem domain in the early stages of software development and determining the requirements with fewer defects. Clafer's goal is to make modeling more accessible to a wider range of users and domains. The tool provides a reference language implementation. It translates models to other formats (e.g. Alloy, XML) to allow for reasoning with existing tools.


Versions0.3.5,,, 0.3.6,, 0.3.7
Dependenciesarray (>=, base (>= && <5), clafer (==, cmdargs (>=0.10.5), containers (>=, data-stringmap (>=0.9.1), directory (>=, executable-path (>=0.0.3), filepath (>=, glpk-hs (>=0.3.4), HaXml (>=1.24), HUnit (>=, json-builder (>=0.3), MaybeT (>=0.1.2), mtl (>=2.1.2), parsec (>=3.1.3), process (>=, QuickCheck (>=, split (>=0.2.2), string-conversions (>=0.3), test-framework (>=0.8), test-framework-hunit (>=0.3.0), test-framework-quickcheck2 (>=, test-framework-th (>=0.2.4), transformers (>=
AuthorKacper Bąk, Jimmy Liang, Michał Antkiewicz, Chris Walker, Luke Michael Brown
MaintainerMichał Antkiewicz <>
Home page
Source repositoryhead: git clone git://
UploadedFri Jan 31 18:53:37 UTC 2014 by mantkiew



Maintainers' corner

For package maintainers and hackage trustees