Program to compute number of universal edges and number of uncovered edges
Main program to compute boolean invariants
Program to determine whether a graph in multicode format is hamiltonian