The claferIG package
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
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).
[Skip to ReadMe]
|Versions||0.3.5, 0.3.5.1, 0.3.6, 0.3.6.1, 0.3.7, 0.3.7, 0.3.8, 0.3.9, 0.3.10, 0.4.0, 0.4.1, 0.4.2, 0.4.2.1, 0.4.3, 0.4.4, 0.4.5|
|Dependencies||array (>=0.4.0.1), base (>=18.104.22.168 && <5), clafer (==0.3.7), claferIG (==0.3.7), cmdargs (>=0.10.7), containers (>=0.5.0.0), data-stringmap (>=22.214.171.124), directory (>=126.96.36.199), executable-path (>=0.0.3), filepath (>=188.8.131.52), haskeline (>=0.7.1.2), HaXml (>=1.24), json-builder (>=0.3), mtl (>=2.1.2), parsec (>=3.1.3), process (>=184.108.40.206), string-conversions (>=0.3.0.2), transformers (>=0.3.0.0) [details]|
|Author||Jimmy Liang, Michał Antkiewicz, Luke Michael Brown|
|Maintainer||Jimmy Liang <email@example.com>|
|Source repository||head: git clone git://github.com/gsdlab/claferIG.git|
|Uploaded||Thu Oct 23 16:28:54 UTC 2014 by mantkiew|
For package maintainers and hackage trustees