Programs for Gallagher-Morris
To get a facet-vertex matrix from a satisfying output
To prove Delta_{sm}(5,10)=5
To prove Delta_m(5,10)=6
To find (5,10)examples with monotone diameter 6 and different outmaps for [1,2,3,4,5]
To find (5,10) examples with monotone diameter 6 and different placements of source
To find (4,8) examples with monotone diameter 5 and different outmaps for [1,2,3,4]
To find (4,8) examples with monotone diameter 5 and different placements of the source