cairn-knowledge-graph (cargo): An embedded and in-memory knowledge graph for static specification analysis.
Keywords: graph|knowledge