#!/bin/sh

# solving CUDF problems with paranoid criteria
# first parameter = CUDF problem
# second parameter = solution file

mccs -i $1 -o $2 -lexagregate[-removed,-changed]


