#!/bin/bash

# $1 domain
# $2 problem
# $3 number of plans (k)
# $4 metric (stability, state, uniqueness, stability-state, stability-uniqueness, state-uniqueness, stability-state-uniqueness, top-cost)
# $5 total number of plans (optional, 1000 by default)

forbiditerative --alias diverse-sat $@
