/CombinatorialEnumeration.jl

Enumerate models of finite limit sketches up to isomorphism

Primary LanguageJuliaMIT LicenseMIT

Issues