The help message of claferIG does not explain how to change global scope

[mantkiew]

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.

[mantkiew]

Added the following in commit:

• welcome message when running REPL, which is consistent with chocosolver:

Compiling the Clafer model...
Type 'h' for the list of available REPL commands

• changed the insufficient scope message to:

No more instances found. Try increasing the scopes to get more instances (type 'h' for help).

• changed the unsat core message to:

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).