IV.Edge detaillib_involves_rolePage 91 of 107lib_involves_role ledgera library artifact involves or is used by a rolePairs · 10,628Cardinality · N:Nfromtoto kindlib-skill:civil-engineering--permit-application-generatorrole:systems-integration-engineerRolelib-skill:civil-engineering--permit-application-generatorrole:research-engineerRolelib-skill:civil-engineering--pile-capacity-analyzerrole:systems-integration-engineerRolelib-skill:civil-engineering--pile-capacity-analyzerrole:research-engineerRolelib-skill:civil-engineering--quantity-takeoff-calculatorrole:systems-integration-engineerRolelib-skill:civil-engineering--quantity-takeoff-calculatorrole:research-engineerRolelib-skill:civil-engineering--revit-api-interfacerole:systems-integration-engineerRolelib-skill:civil-engineering--revit-api-interfacerole:research-engineerRolelib-skill:civil-engineering--section-property-calculatorrole:systems-integration-engineerRolelib-skill:civil-engineering--section-property-calculatorrole:research-engineerRolelib-skill:civil-engineering--seismic-hazard-analyzerrole:systems-integration-engineerRolelib-skill:civil-engineering--seismic-hazard-analyzerrole:research-engineerRolelib-skill:civil-engineering--settlement-calculatorrole:systems-integration-engineerRolelib-skill:civil-engineering--settlement-calculatorrole:research-engineerRolelib-skill:civil-engineering--signal-timing-optimizerrole:systems-integration-engineerRolelib-skill:civil-engineering--signal-timing-optimizerrole:research-engineerRolelib-skill:civil-engineering--slope-stability-analyzerrole:systems-integration-engineerRolelib-skill:civil-engineering--slope-stability-analyzerrole:research-engineerRolelib-skill:civil-engineering--soil-classification-toolrole:systems-integration-engineerRolelib-skill:civil-engineering--soil-classification-toolrole:research-engineerRolelib-skill:civil-engineering--steel-connection-designerrole:systems-integration-engineerRolelib-skill:civil-engineering--steel-connection-designerrole:research-engineerRolelib-skill:civil-engineering--submittal-trackerrole:systems-integration-engineerRolelib-skill:civil-engineering--submittal-trackerrole:research-engineerRolelib-skill:civil-engineering--survey-data-processorrole:systems-integration-engineerRolelib-skill:civil-engineering--survey-data-processorrole:research-engineerRolelib-skill:civil-engineering--traffic-simulation-enginerole:systems-integration-engineerRolelib-skill:civil-engineering--traffic-simulation-enginerole:research-engineerRolelib-skill:civil-engineering--water-distribution-modelerrole:systems-integration-engineerRolelib-skill:civil-engineering--water-distribution-modelerrole:research-engineerRolelib-skill:civil-engineering--wind-load-calculatorrole:systems-integration-engineerRolelib-skill:civil-engineering--wind-load-calculatorrole:research-engineerRolelib-skill:computer-science--abstract-domain-libraryrole:computational-scientistRolelib-skill:computer-science--abstract-domain-libraryrole:research-scientistRolelib-skill:computer-science--amortized-analysis-assistantrole:computational-scientistRolelib-skill:computer-science--amortized-analysis-assistantrole:research-engineerRolelib-skill:computer-science--approximation-ratio-calculatorrole:computational-scientistRolelib-skill:computer-science--approximation-ratio-calculatorrole:research-engineerRolelib-skill:computer-science--asymptotic-notation-calculatorrole:computational-scientistRolelib-skill:computer-science--asymptotic-notation-calculatorrole:research-engineerRolelib-skill:computer-science--benchmark-suite-managerrole:computational-scientistRolelib-skill:computer-science--benchmark-suite-managerrole:research-engineerRolelib-skill:computer-science--complexity-class-oraclerole:computational-scientistRolelib-skill:computer-science--complexity-class-oraclerole:research-engineerRolelib-skill:computer-science--consensus-protocol-libraryrole:research-engineerRolelib-skill:computer-science--consensus-protocol-libraryrole:research-scientistRolelib-skill:computer-science--counterexample-guided-refinementrole:computational-scientistRolelib-skill:computer-science--counterexample-guided-refinementrole:research-scientistRolelib-skill:computer-science--data-flow-analysis-frameworkrole:research-engineerRolelib-skill:computer-science--data-flow-analysis-frameworkrole:computational-scientistRolelib-skill:computer-science--dsl-compiler-generatorrole:research-engineerRolelib-skill:computer-science--dsl-compiler-generatorrole:computational-scientistRolelib-skill:computer-science--latex-proof-formatterrole:research-engineerRolelib-skill:computer-science--latex-proof-formatterrole:research-scientistRolelib-skill:computer-science--linearizability-checkerrole:computational-scientistRolelib-skill:computer-science--linearizability-checkerrole:research-scientistRolelib-skill:computer-science--loop-invariant-generatorrole:computational-scientistRolelib-skill:computer-science--loop-invariant-generatorrole:research-scientistRolelib-skill:computer-science--memory-model-analyzerrole:computational-scientistRolelib-skill:computer-science--memory-model-analyzerrole:research-scientistRolelib-skill:computer-science--model-checker-interfacerole:computational-scientistRolelib-skill:computer-science--model-checker-interfacerole:research-scientistRolelib-skill:computer-science--operational-semantics-builderrole:research-engineerRolelib-skill:computer-science--operational-semantics-builderrole:computational-scientistRolelib-skill:computer-science--optimization-correctness-verifierrole:research-engineerRolelib-skill:computer-science--optimization-correctness-verifierrole:computational-scientistRolelib-skill:computer-science--probabilistic-analysis-toolkitrole:computational-scientistRolelib-skill:computer-science--probabilistic-analysis-toolkitrole:research-engineerRolelib-skill:computer-science--recurrence-solverrole:computational-scientistRolelib-skill:computer-science--recurrence-solverrole:research-engineerRolelib-skill:computer-science--reduction-builderrole:computational-scientistRolelib-skill:computer-science--reduction-builderrole:research-engineerRolelib-skill:computer-science--related-work-analyzerrole:research-engineerRolelib-skill:computer-science--related-work-analyzerrole:research-scientistRolelib-skill:computer-science--smt-solver-interfacerole:computational-scientistRolelib-skill:computer-science--smt-solver-interfacerole:research-scientistRolelib-skill:computer-science--soundness-proof-assistantrole:research-engineerRolelib-skill:computer-science--soundness-proof-assistantrole:computational-scientistRolelib-skill:computer-science--ssa-transformation-libraryrole:research-engineerRolelib-skill:computer-science--ssa-transformation-libraryrole:computational-scientistRolelib-skill:computer-science--synthesis-specification-languagerole:research-engineerRolelib-skill:computer-science--synthesis-specification-languagerole:research-scientistRolelib-skill:computer-science--temporal-logic-translatorrole:computational-scientistRolelib-skill:computer-science--temporal-logic-translatorrole:research-scientistRolelib-skill:computer-science--termination-analyzerrole:computational-scientistRolelib-skill:computer-science--termination-analyzerrole:research-scientistRolelib-skill:computer-science--theorem-prover-interfacerole:computational-scientistRolelib-skill:computer-science--theorem-prover-interfacerole:research-scientistRolelib-skill:computer-science--tla-plus-generatorrole:computational-scientistRolelib-skill:computer-science--tla-plus-generatorrole:research-scientistRolelib-skill:computer-science--turing-machine-simulatorrole:computational-scientistRolelib-skill:computer-science--turing-machine-simulatorrole:research-engineerRolelib-skill:computer-science--type-inference-enginerole:research-engineerRolelib-skill:computer-science--type-inference-enginerole:computational-scientistRolelib-skill:computer-science--typing-rule-generatorrole:research-engineerRolelib-skill:computer-science--typing-rule-generatorrole:computational-scientistRolelib-skill:electrical-engineering--reliability-analysisrole:embedded-engineerRolelib-skill:electrical-engineering--reliability-analysisrole:systems-integration-engineerRolelib-skill:electrical-engineering--test-automationrole:embedded-engineerRolelib-skill:electrical-engineering--test-automationrole:systems-integration-engineerRolePrevPage 91 of 107Next