GitHub repository: scast/fed-dsatur-decompositions
Description: Decompositions obtained using Fed-DSATUR algorithm.