UI

To run the COOM Suite UI, run the following steps:

1. Install the latest clinguin version with pip

pip install clinguin

1. Run the clinguin command in the command line, replacing <instance-file>

clinguin client-server  --domain-files <instance-file> src/coomsuite/encodings/encoding-base-clingo.lp --ui-files src/coomsuite/encodings/ui.lp --backend ExplanationBackend --assumption-signature constraint,2

The UI is using the clingo encoding.

Warning

Make sure all atoms are shown.