Usage

Solve a COOM model

To solve a COOM model file, run (replacing <coom-model>)

coomsuite solve <coom-model>

To add a user input append (replacing <user-input>) -u <user-input>.

Solve a COOM model with unbounded cardinalities

To solve a COOM model file which contains unbounded cardinalities, add the following option to the above command

--bounds <ALGORITHM>

where <ALGORITHM> is either linear or exponential.

For more information see the cargo bike example.

Convert COOM to ASP

To convert a COOM model to the serialized ASP fact format, run

coomsuite convert <coom-model>

To obtain the (COOM-independent) refined fact format, run

coomsuite solve <coom-model> --show-facts

Command-line interface

Additional options can be found with

coomsuite -h