Graph TheoryExternal LinkSoftware for working with graphs and graph theory algorithms, graph traversals, etc.DetailsGeneralHomeExternal LinkPlangsCozoGremlinPotasscoPlangsNameDescriptionCozoA database leveraging Datalog for queries.GremlinGraph traversal language and virtual machine developed by Apache TinkerPop.PotasscoTargets combinatorial search problems using efficient ASP solvers.