This project contains Python programs to encode a DSSP (Dominant Set Selection Problem) into a BIP file and solve it.