GitHub repository: merten-samuel/allMIS
Primary language: Coq
Created: 2016-03-07T21:07:56Z
Description: A Coq development for the formalization of graphs and Tsukiyama et al.'s algorithm for finding all maximal independent sets of a graph.