PORTA-generator

First, read this blog post.

The python code stable-set-generator enumerates all stable sets of a wheel graph (as 0-1 vectors) to a .poi file for use with the PORTA software.

The python code stable-set-batch-generator does a similar task, but generates ninety G(n,p) random graphs: ten at each density 10%, 20%, ..., 90%. It also saves drawings of each graph to png files. Then, it creates a batch file so you don't have to call PORTA ninety times manually. The resulting .poi, .ieq, and .png files are provided here.