A simple library to work with graphs and an implementation of the Minimum Hitting Set algorithm.