/GraphsInterfaceChecker.jl

Formalization of the AbstractGraph interface from Graphs.jl, specified using Interfaces.jl.

Primary LanguageJuliaMIT LicenseMIT

Watchers