Component for finding decomposition sets and estimating hardness of SAT instances. - View it on GitHub