Efficient Explaining CSPs with Unsatisfiable Subset Optimization - View it on GitHub