Andrzej Wasowski commented on Aug 21
The help message of claferIG does not explain how to change global scope (or where to find this kind of info). Probably just a single line telling how you can get help inside IG printed in response to --help or in the IG startup messages would reduce user frustration. It took me some time to go the tools installation and to find the readme files.
revised help messages. closes #28
Added the following in commit:
Compiling the Clafer model...
Type 'h' for the list of available REPL commands
No more instances found. Try increasing the scopes to get more instances (type 'h' for help).
No instances found.
The following set of constraints cannot be satisfied in the current scope.
Consider removing one of the constraints from the model.
Use the setUnsatCoreMinimization command to minimize the set of constraints below.
Try increasing the scopes to get an instance (type 'h' for help).