A git submodule used in the asap project (https://gitlab.com/absassi/asap). Not intended to be used separately.