The claferIG package

[Tags: library, mit, program]

Clafer is a powerful (equivalent to first-order predicate logic) yet lightweight structural modeling language. Despite simplicity and conciseness of Clafer, writing correct models remains challenging due to hard-to-predict interactions among all constraints expressed in the model. Clafer instance generator (ClaferIG) is an interactive tool that generates instances and counter examples of concrete clafers in a Clafer model. If the concrete clafers do not have contradicting constraints, the generator produces valid instance data. Otherwise, the generator produces an unsatisfiable core which included all contradicting constraints and generates a counter example by removing one constraint from the core. The generator can potentially produce many instances if the concrete clafers are not fully specialized. The generator produces different instances on-demand. With these capabilities, the instance generator can be used for debugging models: checking the consistency of the model and detecting under- and overconstraining of the model. The instance generator can also be used programmatically via API (the command line and interactive session interfaces only use the API).


Properties

Versions0.3.5, 0.3.5.1, 0.3.6, 0.3.6.1, 0.3.7 (info)
Dependenciesarray (>=0.4.0.1), base (>=4.6.0.1 && <5), clafer (==0.3.7), claferIG (==0.3.7), cmdargs (>=0.10.7), containers (>=0.5.0.0), data-stringmap (>=1.0.1.1), directory (>=1.2.0.1), executable-path (>=0.0.3), filepath (>=1.3.0.1), haskeline (>=0.7.1.2), HaXml (>=1.24), json-builder (>=0.3), mtl (>=2.1.2), parsec (>=3.1.3), process (>=1.1.0.2), string-conversions (>=0.3.0.2), transformers (>=0.3.0.0)
LicenseMIT
AuthorJimmy Liang, Michał Antkiewicz, Luke Michael Brown
MaintainerJimmy Liang <jliang@gsd.uwaterloo.ca>
StabilityExperimental
CategoryModel
Home pagehttps://github.com/gsdlab/claferIG
Source repositoryhead: git clone git://github.com/gsdlab/claferIG.git
ExecutablesclaferIG
UploadedThu Oct 23 16:30:14 UTC 2014 by mantkiew
Downloads377 total (30 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees