Closed levnach closed 2 years ago
The was functionality missing to count all the edges of a graph: so the higlighter created a massive that was too short. Signed-off-by: Lev Nachmanson levnach@hotmail.com
The was functionality missing to count all the edges of a graph: so the higlighter created a massive that was too short. Signed-off-by: Lev Nachmanson levnach@hotmail.com