#!/bin/bash

cerberus --transform-task preprocess --alias seq-sat-cerberus2018 $@
