An implementation of the Johnson's circuit finding algorithm - View it on GitHub