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