First you need to download wasp from https://github.com/alviano/wasp. For our experiments we used the version "f3e4c56455d157f998f4d03daa161ad1ae1dd2e7" (commit).

After the download, to compile wasp with python propagator you need to type:
    cd wasp
    make SCRIPT=python38
    cd ..

If you want to compile wasp without python propagator you need to type:
    cd wasp
    make
    cd ..

In both cases, you will find the executable under ./wasp/build/release/. Note: wasp requires the installation of boost (apt install libboost-dev), g++-4.6 (or more recent), and python 3.8 or greater.

In our experiments we used clingo v. 5.4.0 (https://github.com/potassco/clingo/releases/tag/v5.4.0) as the common grounder. Assuming all binaries are in the folder "binaries", you can rerun the experiments as follows.

To run an instance with clingo you can type:
    ./binaries/clingo benchmarks/<problem>/<instance.asp> benchmarks/<problem>/encoding.asp

To run an instance with wasp you can type:
    ./binaries/clingo benchmarks/<problem>/<instance.asp> benchmarks/<problem>/encoding.asp --output=smodels | ./binaries/wasp

To run an instance with amowasp you can type
    ./binaries/clingo benchmarks/<problem>/<instance.asp> benchmarks/<problem>/encoding_with_groups.asp --output=smodels |  ./wasp_code/build/release/wasp --interpreter=python --script-directory=propagator --plugins-file="amosum 1"

Example:
clingo: ./binaries/clingo benchmarks/Knapsack/0000-knapsack-10-22288-53089-type1.asp benchmarks/Knapsack/encoding.asp
wasp: ./binaries/clingo benchmarks/Knapsack/0000-knapsack-10-22288-53089-type1.asp benchmarks/Knapsack/encoding.asp --output=smodels | ./binaries/wasp
amowasp: ./binaries/clingo benchmarks/Knapsack/0000-knapsack-10-22288-53089-type1.asp benchmarks/Knapsack/encoding_with_groups.asp --output=smodels |  ./wasp_code/build/release/wasp --interpreter=python --script-directory=propagator --plugins-file="amosum 1"