Added features:
- Initialize solver with an existing hitting set
- Stop solving once a hitting set of a given size or smaller has been found
- Ability to export final hitting set to a file
- Allow JSON formatted hypergraphs as an alternative input format
Added features: