Minimal Intervention Strategies in Logical Signaling Networks
=============================================================

Further information about this project can be found at:
  http://potassco.sourceforge.net/apps.html#interventions

To run the encodings with hclasp you need the following software:
  gringo and hclasp

To run the encodings with claspD you need the following software:
  gringo, claspD, and metasp

You can obtain the required software from the potassco project:
  - http://potassco.sourceforge.net/
  - http://potassco.sourceforge.net/#gringo
  - http://potassco.sourceforge.net/#claspD
  - http://potassco.sourceforge.net/labs.html#hclasp
  - http://potassco.sourceforge.net/labs.html#metasp

Note that the following encodings assume that gringo version 3 is used. The
encodings are incompatible with the recent gringo 4 release.

Running the toy example with hclasp:

  gringo encoding-hclasp.lp instances/toy.lp instances/toy-multi-scenario.lp \
    | hclasp --heuristic=domain --enum-mode record 0

Running the toy example with claspD (assumes that the metasp encodings have
been put in the same folder as the encoding):

  gringo --reify encoding.lp instances/toy.lp instances/toy-multi-scenario.lp \
    | gringo - metaD.lp meta.lp metaO.lp <(echo "optimize(1,1,incl).") \
    | claspD 0
