dp_satchmo.sh

#!/bin/bash

solver=satchmo
bits=4
con=2

export LD_LIBRARY_PATH=.

./MB.exe --dp \
    --$solver \
    --natural --arctic \
    --bits=$bits \
    --con=$con \
    --cores \
    --latex \
    +RTS -N -M32G -K1G -RTS \
    $1  \
    2>/dev/null