A free, open-source Java library for automata learning algorithms
LearnLib/learnlib 的健康指数为 100 分中的 84 分,处于「优秀」区间。 其得分最高的类别是Community & Adoption(75/100),最低的是AI Readiness(58/100)。 最近一次更新在 20 天前。 近期的大部分工作由 1 位贡献者完成。
指标归入加权类别,统一采用 1–100 量表。总体分先取类别加权平均,再依据公开记录的分布进行校准,使各等级具有百分位含义;当公开证据触发高风险司法辖区政策时,评级会按政策调整,并设置 34(存在风险)的上限。
每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形,而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。
加权总体分 71 经校准后在公布的指数量表上为 84(记录校准 2026-08-02)。
| 注册表 | 软件包 | 版本 | 月下载量 | 版本数 | 最近发布 |
|---|---|---|---|---|---|
| Maven | de.learnlib:learnlib-api | 19.0.0 | - | 8 | 24 天前 |
| Maven | de.learnlib.archetypes:complete | 19.0.0 | - | 17 | 24 天前 |
| Maven | de.learnlib:learnlib-build-config | 19.0.0 | - | 4 | 24 天前 |
项目是否仍有生命——是否仍在编写代码,是否仍在发布版本?
| 28.8/36 | 推送新近度 — 最近一次推送于 20 天前 |
| 13.8/36 | 提交节奏 — 52 周中有 20 周有提交 |
| 14.7/18 | 提交量 — 最近一年 42 次提交 |
| 10/10 | OpenSSF Scorecard:Maintained — 26 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10 |
| commits_last_year | 42 |
| human_commit_share | 0.95 |
| days_since_last_push | 20 |
| active_weeks_last_year | 20 |
| 27/27 | 有发布版本 — 已发布 8 个发布版本 |
| 36/36 | 发布时效 — 最近一次发布版本于 24 天前 |
| 5.4/27 | 发布节奏 — 约每 441.2 天发布一次 |
| 0/10 | OpenSSF Scorecard:Signed-Releases — Project has not signed or included provenance with any releases. |
| releases_count | 8 |
| latest_release_tag | learnlib-19.0.0 |
| releases_from_tags | 否 |
| days_since_latest_release | 24 |
| mean_days_between_releases | 441.2 |
项目是否拥有用户、下载量与关注度,并具备欢迎贡献者参与的配置?
| 38.4/60 | 星标 — 234 个星标 |
| 14.6/25 | 复刻 — 57 个复刻 |
| 6.2/15 | 关注者 — 14 位关注者 |
| forks | 57 |
| stars | 234 |
| watchers | 14 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
| 22.5/22.5 | README |
| 22.5/22.5 | 许可证 — 可识别的许可证(Apache-2.0) |
| 18/18 | CONTRIBUTING 指南 |
| 13.5/13.5 | 行为准则 |
| 7.2/7.2 | 议题模板 |
| 0/6.3 | PR 模板 |
| has_readme | 是 |
| has_license | 是 |
| readme_badges | 2 |
| has_contributing | 是 |
| has_issue_template | 是 |
| has_code_of_conduct | 是 |
| readme_badge_services | coveralls.io, github.com |
| has_pull_request_template | 否 |
项目能否在其成员之外延续——巴士系数、响应能力、由谁支持,以及软件包的维护状况?
| 9/54 | 巴士系数 — 1 位贡献者贡献了半数提交 |
| 9.8/22.5 | 提交分布 — 头号贡献者编写了 56% 的提交 |
| 13.5/13.5 | 贡献者广度 — 21 位贡献者 |
| 10/10 | OpenSSF Scorecard:Contributors — project has 7 contributing companies or organizations |
| bus_factor | 1 |
| contributors_sampled | 21 |
| top_contributor_share | 0.565 |
| 39.6/42 | 议题解决 — 94% 的议题已关闭 |
| 27.1/30 | PR 接受 — 已裁定的 PR 中 65/72 已合并 |
| 0/13 | Newcomer PR acceptance — 30 天内没有首次贡献者的 PR 得到裁决 |
| 0/15 | OpenSSF Scorecard:Code-Review — Found 0/28 approved changesets -- score normalized to 0 |
| merged_prs | 65 |
| open_issues | 4 |
| closed_issues | 66 |
| prs_merged_7d | 0 |
| prs_decided_7d | 0 |
| prs_merged_30d | 1 |
| prs_decided_30d | 1 |
| issue_closed_ratio | 0.943 |
| closed_unmerged_prs | 7 |
| first_time_authors_30d | 0 |
| first_time_prs_merged_30d | 0 |
| first_time_prs_decided_30d | 0 |
| 30/30 | 所有权背书 — 组织持有 |
| 20/20 | 已验证域名 |
| 6.9/25 | 所有者影响力 — LearnLib 有 8 位关注者 |
| 21.8/25 | 既往记录 — 21 个公开仓库,账户约 13 年 |
| followers | 8 |
| owner_type | Organization |
| is_verified | 是 |
| owner_login | LearnLib |
| public_repos | 21 |
| account_age_days | 4,869 |
| 25/25 | 已发布且可解析 — maven 上有 3 个软件包 |
| 35/35 | 发布时效 — 最近一次发布于 24 天前 |
| 20/20 | 版本历史 — 17 个已发布版本 |
| 20/20 | 未被弃用 — 活跃,未被弃用或撤回 |
| packages | de.learnlib:learnlib-api, de.learnlib.archetypes:complete, de.learnlib:learnlib-build-config |
| ecosystems | maven |
| any_deprecated | 否 |
| min_days_since_publish | 24 |
基础的工程与文档实践是否到位?
| 24/24 | CI 工作流 — 2 个工作流 |
| 24/24 | 存在测试 |
| 0/16 | Linter 配置 |
| 0/9.6 | Pre-commit 钩子 |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard:CI-Tests — 7 out of 7 merged PRs checked by a CI test -- score normalized to 10 |
| has_ci | 是 |
| has_tests | 是 |
| has_editorconfig | 否 |
| has_linter_config | 否 |
| has_precommit_config | 否 |
| 30/30 | README |
| 0/25 | 文档目录 |
| 15/15 | 文档 / 主页站点 — https://learnlib.de |
| 10/10 | 仓库描述 |
| 10/10 | 主题标签 — 15 个主题标签 |
| 10/10 | Wiki |
| topics | java, automata, automata-learning, dfa, finite-state-machine, lstar, mealy-machine, model-based-testing, model-learning, pushdown-automata, rpni, test-case-generation, ttt, active-automata-learning, model-based-learning |
| has_wiki | 是 |
| homepage | https://learnlib.de |
| docs_site | https://learnlib.de |
| has_readme | 是 |
| has_docs_dir | 否 |
| has_description | 是 |
可见的安全与供应链实践是否稳固,且不存在未解决的高风险司法辖区暴露?
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — 无数据 |
| 2.5/2.5 | CI-Tests — 7 out of 7 merged PRs checked by a CI test -- score normalized to 10 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 0/7.5 | Code-Review — Found 0/28 approved changesets -- score normalized to 0 |
| 2.5/2.5 | Contributors — project has 7 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 7.5/7.5 | Dependency-Update-Tool — update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | 许可证 — license file detected |
| 7.5/7.5 | Maintained — 26 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10 |
| 5/5 | Packaging — packaging workflow detected |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 1/5 | SAST — SAST tool is not run on all commits -- score normalized to 2 |
| 4.5/5 | Security-Policy — security policy file detected |
| 0/7.5 | Signed-Releases — Project has not signed or included provenance with any releases. |
| 6.8/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
| source | openssf_scorecard |
| checks_evaluated | 17 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 1 |
| scorecard_aggregate | 6.6 |
| 35/35 | 直接依赖不含已知公告 — 没有直接依赖携带已知公告 |
| 25/25 | 间接依赖不含已知公告 — 没有间接依赖携带已知公告 |
| 0/40 | 没有长期未处理的公告 — 没有公告带有发布日期 |
| source | osv |
| advisories | 0 |
| affected_packages | 0 |
| assessed_packages | 6 |
| unassessed_packages | 0 |
| affected_by_severity | none |
| direct_affected_packages | 0 |
该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件?权重刻意设小(4%):代理工具链是一项真实的维护信号,但完全不具备的仓库仍可达到 100/100。
| 0/45 | 代理指令 — 没有 CLAUDE.md / AGENTS.md / 编辑器规则 |
| 0/15 | 机器可读文档(llms.txt) |
| 22.5/40 | 可读的提交历史 — 95 次人类提交中有 40 次说明了意图(结构化标题或解释性正文) |
| has_llms_txt | 否 |
| llms_txt_url | — |
| legible_history_share | 0.421 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
| 12.6/18 | 一条命令的引导启动 — algorithms/active/aaar/pom.xml, algorithms/active/adt/pom.xml, algorithms/active/dhc/pom.xml(工具链约定,无任务运行器) |
| 22/22 | 自动化测试 |
| 0/11 | Lint / 格式化配置 |
| 11/11 | 静态类型检查 — Java(静态类型) |
| 0/10 | 可复现环境 |
| 0/10 | 已体现的代理实践 — 最近 100 次提交中没有代理编写的提交 |
| 8/8 | 自动化维护 — 最近 100 次提交中有 5 次为自动依赖更新 |
| 0/10 | OpenSSF Scorecard:Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| has_nix | 否 |
| has_tests | 是 |
| lockfiles | — |
| has_dockerfile | 否 |
| typed_language | 是 |
| bootstrap_files | — |
| has_devcontainer | 否 |
| has_linter_config | 否 |
| typecheck_configs | — |
| agent_commit_share | 0 |
| toolchain_manifests | algorithms/active/aaar/pom.xml, algorithms/active/adt/pom.xml, algorithms/active/dhc/pom.xml, algorithms/active/kearns-vazirani/pom.xml, algorithms/active/lambda/pom.xml, algorithms/active/lsharp/pom.xml, algorithms/active/lstar/pom.xml, algorithms/active/nlstar/pom.xml, algorithms/active/observation-pack-vpa/pom.xml, algorithms/active/observation-pack/pom.xml, algorithms/active/pom.xml, algorithms/active/procedural/pom.xml, algorithms/active/sparse/pom.xml, algorithms/active/ttt-vpa/pom.xml, algorithms/active/ttt/pom.xml, algorithms/passive/ostia/pom.xml, algorithms/passive/pom.xml, algorithms/passive/rpni/pom.xml, algorithms/pom.xml, api/pom.xml, archetype/pom.xml, archetype/src/main/resources/archetype-resources/pom.xml, build-config/pom.xml, build-parent/pom.xml, cli/pom.xml, commons/counterexamples/pom.xml, commons/datastructures/pom.xml, commons/pom.xml, commons/settings/pom.xml, commons/util/pom.xml, distribution/pom.xml, distribution/src/it/jlink/pom.xml, drivers/basic/pom.xml, drivers/mapper/pom.xml, drivers/pom.xml, drivers/simulator/pom.xml, examples/pom.xml, filters/cache/pom.xml, filters/pom.xml, filters/reuse/pom.xml, filters/statistics/pom.xml, filters/symbol-filters/pom.xml, oracles/emptiness-oracles/pom.xml, oracles/equivalence-oracles/pom.xml, oracles/membership-oracles/pom.xml, oracles/parallelism/pom.xml, oracles/pom.xml, oracles/property-oracles/pom.xml, pom.xml, test-support/learner-it-support/pom.xml, test-support/learning-examples/pom.xml, test-support/pom.xml, test-support/test-support/pom.xml |
| dependency_bot_commit_share | 0.05 |
| 45/45 | 可类型检查的代码 — Java(静态类型) |
| 55/55 | 可控的文件大小 — 采样的 1,078 个源文件中有 0 个超过 60KB |
| primary_language | Java |
| largest_source_bytes | 41,483 |
| source_files_sampled | 1,078 |
| oversized_source_files | 0 |
| 0/40 | API 模式(OpenAPI/GraphQL/proto) — 不适用于此类软件 |
| 0/20 | MCP 服务器 — 不适用于此类软件 |
| 40/40 | 可运行示例 — example, examples |
| example_dirs | example, examples |
| has_mcp_signal | 否 |
| api_schema_files | — |
| interfaces_expected_of | — |
每颗 star 和每个 fork 的添加时间,来自 GitHub 并按天汇总。累计增长位于其构成来源——每日新增——的正上方,二者可相互对照:稳定的自然增长与短暂的突增形态截然不同。当这一差别可被衡量时,它会作为增长真实性予以报告。
每个点涵盖 13 天。
来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身,而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用,并从安全评分中剔除(绝不按零分计)。
| 10 | Binary-Artifacts | no binaries found in the repo |
| 不适用 | Branch-Protection | internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md |
| 10 | CI-Tests | 7 out of 7 merged PRs checked by a CI test -- score normalized to 10 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 0 | Code-Review | Found 0/28 approved changesets -- score normalized to 0 |
| 10 | Contributors | project has 7 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 10 | Dependency-Update-Tool | update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 10 | Maintained | 26 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10 |
| 10 | Packaging | packaging workflow detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 2 | SAST | SAST tool is not run on all commits -- score normalized to 2 |
| 9 | Security-Policy | security policy file detected |
| 0 | Signed-Releases | Project has not signed or included provenance with any releases. |
| 9 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
| 注册表 | 软件包 | 版本约束 | 清单文件 |
|---|---|---|---|
| Maven | net.automatalib:automata-api | — | api/pom.xml |
| Maven | net.automatalib:automata-commons-util | — | api/pom.xml |
| Maven | org.checkerframework:checker-qual | — | api/pom.xml |
| Maven | org.slf4j:slf4j-api | — | api/pom.xml |
| Maven | de.learnlib:learnlib-build-config | ${project.version} | build-parent/pom.xml |
| Maven | de.learnlib:learnlib-build-config | ${project.version} | build-parent/pom.xml |
| Maven | com.puppycrawl.tools:checkstyle | ${checkstyle.version} | build-parent/pom.xml |
| Maven | de.learnlib:learnlib-build-config | ${project.version} | build-parent/pom.xml |
| Maven | de.learnlib:learnlib-api | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-cache | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-membership-oracles | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-parallelism | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-util | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-statistics | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-adt | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-dhc | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-equivalence-oracles | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-kearns-vazirani | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-lambda | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-lsharp | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-lstar | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-nlstar | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-observation-pack | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-observation-pack-vpa | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-procedural | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-sparse | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-ttt | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-ttt-vpa | — | cli/pom.xml |
| Maven | net.automatalib:automata-api | — | cli/pom.xml |
| Maven | net.automatalib:automata-commons-util | — | cli/pom.xml |
| Maven | net.automatalib:automata-core | — | cli/pom.xml |
| Maven | net.automatalib:automata-serialization-aut | — | cli/pom.xml |
| Maven | net.automatalib:automata-serialization-ba | — | cli/pom.xml |
| Maven | net.automatalib:automata-serialization-dot | — | cli/pom.xml |
| Maven | net.automatalib:automata-serialization-learnlibv2 | — | cli/pom.xml |
| Maven | net.automatalib:automata-serialization-mata | — | cli/pom.xml |
| Maven | net.automatalib:automata-serialization-saf | — | cli/pom.xml |
| Maven | net.automatalib:automata-serialization-taf | — | cli/pom.xml |
| Maven | net.automatalib:automata-util | — | cli/pom.xml |
| Maven | ch.qos.logback:logback-classic | — | cli/pom.xml |
| Maven | info.picocli:picocli | — | cli/pom.xml |
| Maven | org.apache.fory:fory-core | — | cli/pom.xml |
| Maven | org.checkerframework:checker-qual | — | cli/pom.xml |
| Maven | org.slf4j:slf4j-api | — | cli/pom.xml |
| Maven | org.mockito:mockito-core | — | cli/pom.xml |
| Maven | org.testng:testng | — | cli/pom.xml |
| Maven | de.learnlib:learnlib-aaar | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-adt | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-dhc | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-kearns-vazirani | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-lambda | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-lsharp | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-lstar | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-nlstar | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-observation-pack | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-observation-pack-vpa | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-procedural | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-sparse | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-ttt | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-ttt-vpa | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-ostia | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-rpni | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-api | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-counterexamples | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-datastructures | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-settings | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-util | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-drivers-basic | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-mapper | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-drivers-simulator | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-cache | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-reuse | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-statistics | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-symbol-filters | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-emptiness-oracles | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-equivalence-oracles | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-membership-oracles | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-parallelism | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-property-oracles | — | distribution/pom.xml |
| Maven | net.automatalib.distribution:automata-distribution | — | distribution/pom.xml |
| Maven | de.learnlib:learnlib-aaar | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-adt | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-dhc | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-kearns-vazirani | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-lambda | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-lsharp | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-lstar | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-nlstar | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-observation-pack | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-observation-pack-vpa | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-procedural | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-sparse | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-ttt | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-ttt-vpa | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-rpni | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-api | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-counterexamples | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-datastructures | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-settings | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-util | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-drivers-basic | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-mapper | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-drivers-simulator | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-cache | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-reuse | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-statistics | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-symbol-filters | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-emptiness-oracles | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-equivalence-oracles | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-membership-oracles | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-parallelism | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-property-oracles | ${project.version} | distribution/pom.xml |
| Maven | de.learnlib:learnlib-algorithms-parent | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-algorithms-active-parent | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-aaar | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-adt | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-dhc | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-kearns-vazirani | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-lambda | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-lsharp | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-lstar | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-nlstar | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-observation-pack | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-observation-pack-vpa | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-procedural | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-sparse | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-ttt | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-ttt-vpa | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-algorithms-passive-parent | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-ostia | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-rpni | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-api | ${project.version} | pom.xml |
| Maven | de.learnlib.archetypes:learnlib-archetypes-parent | ${project.version} | pom.xml |
| Maven | de.learnlib.archetypes:basic | ${project.version} | pom.xml |
| Maven | de.learnlib.archetypes:complete | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-build-config | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-build-parent | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-commons-parent | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-counterexamples | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-datastructures | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-settings | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-util | ${project.version} | pom.xml |
| Maven | de.learnlib.distribution:learnlib-distribution | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-drivers-parent | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-drivers-basic | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-mapper | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-drivers-simulator | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-filters-parent | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-cache | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-reuse | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-statistics | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-oracles-parent | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-emptiness-oracles | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-equivalence-oracles | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-membership-oracles | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-parallelism | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-symbol-filters | ${project.version} | pom.xml |
| Maven | de.learnlib:learnlib-property-oracles | ${project.version} | pom.xml |
| Maven | de.learnlib.testsupport:learnlib-test-support-parent | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-parent | ${automatalib.version} | pom.xml |
| Maven | org.apache.fory:fory-core | ${fory.version} | pom.xml |
| Maven | org.slf4j:slf4j-api | ${slf4j.version} | pom.xml |
| Maven | ch.qos.logback:logback-core | ${logback.version} | pom.xml |
| Maven | ch.qos.logback:logback-classic | ${logback.version} | pom.xml |
| Maven | io.projectreactor:reactor-core | ${reactor.version} | pom.xml |
| Maven | io.reactivex.rxjava3:rxjava | ${rxjava.version} | pom.xml |
| Maven | io.smallrye.reactive:mutiny | ${mutiny.version} | pom.xml |
| Maven | org.reactivestreams:reactive-streams | ${reactive-streams.version} | pom.xml |
| Maven | info.picocli:picocli | ${picocli.version} | pom.xml |
| Maven | net.sourceforge.pmd:pmd-core | ${pmd.version} | pom.xml |
| Maven | net.sourceforge.pmd:pmd-java | ${pmd.version} | pom.xml |
| Maven | javax.xml.bind:jaxb-api | ${jaxb-api.version} | pom.xml |
| Maven | org.codehaus.mojo:extra-enforcer-rules | ${extra-enforcer-rules.version} | pom.xml |
来自 GitHub 依赖图的完整解析依赖集合:122 个直接依赖与 77 个间接(传递)软件包。仓库提交锁文件时,传递闭包才是完整的。
| 注册表 | 软件包 | 版本 | 关系 |
|---|---|---|---|
| Maven | ch.qos.logback:logback-classic | — | 直接 |
| Maven | ch.qos.logback:logback-classic | 1.5.35 | 直接 |
| Maven | ch.qos.logback:logback-core | 1.5.35 | 直接 |
| Maven | com.puppycrawl.tools:checkstyle | — | 直接 |
| Maven | de.learnlib.archetypes:basic | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib.archetypes:complete | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib.archetypes:learnlib-archetypes-parent | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib.distribution:learnlib-distribution | — | 直接 |
| Maven | de.learnlib.distribution:learnlib-distribution | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib.testsupport:learnlib-test-support-parent | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-aaar | — | 直接 |
| Maven | de.learnlib:learnlib-aaar | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-adt | — | 直接 |
| Maven | de.learnlib:learnlib-adt | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-algorithms-active-parent | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-algorithms-parent | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-algorithms-passive-parent | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-api | — | 直接 |
| Maven | de.learnlib:learnlib-api | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-build-config | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-build-parent | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-cache | — | 直接 |
| Maven | de.learnlib:learnlib-cache | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-commons-parent | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-counterexamples | — | 直接 |
| Maven | de.learnlib:learnlib-counterexamples | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-datastructures | — | 直接 |
| Maven | de.learnlib:learnlib-datastructures | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-dhc | — | 直接 |
| Maven | de.learnlib:learnlib-dhc | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-drivers-basic | — | 直接 |
| Maven | de.learnlib:learnlib-drivers-basic | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-drivers-parent | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-drivers-simulator | — | 直接 |
| Maven | de.learnlib:learnlib-drivers-simulator | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-emptiness-oracles | — | 直接 |
| Maven | de.learnlib:learnlib-emptiness-oracles | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-equivalence-oracles | — | 直接 |
| Maven | de.learnlib:learnlib-equivalence-oracles | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-filters-parent | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-kearns-vazirani | — | 直接 |
| Maven | de.learnlib:learnlib-kearns-vazirani | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-lambda | — | 直接 |
| Maven | de.learnlib:learnlib-lambda | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-lsharp | — | 直接 |
| Maven | de.learnlib:learnlib-lsharp | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-lstar | — | 直接 |
| Maven | de.learnlib:learnlib-lstar | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-mapper | — | 直接 |
| Maven | de.learnlib:learnlib-mapper | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-membership-oracles | — | 直接 |
| Maven | de.learnlib:learnlib-membership-oracles | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-nlstar | — | 直接 |
| Maven | de.learnlib:learnlib-nlstar | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-observation-pack | — | 直接 |
| Maven | de.learnlib:learnlib-observation-pack | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-observation-pack-vpa | — | 直接 |
| Maven | de.learnlib:learnlib-observation-pack-vpa | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-oracles-parent | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-ostia | — | 直接 |
| Maven | de.learnlib:learnlib-ostia | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-parallelism | — | 直接 |
| Maven | de.learnlib:learnlib-parallelism | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-procedural | — | 直接 |
| Maven | de.learnlib:learnlib-procedural | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-property-oracles | — | 直接 |
| Maven | de.learnlib:learnlib-property-oracles | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-reuse | — | 直接 |
| Maven | de.learnlib:learnlib-reuse | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-rpni | — | 直接 |
| Maven | de.learnlib:learnlib-rpni | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-settings | — | 直接 |
| Maven | de.learnlib:learnlib-settings | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-sparse | — | 直接 |
| Maven | de.learnlib:learnlib-sparse | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-statistics | — | 直接 |
| Maven | de.learnlib:learnlib-statistics | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-symbol-filters | — | 直接 |
| Maven | de.learnlib:learnlib-symbol-filters | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-ttt | — | 直接 |
| Maven | de.learnlib:learnlib-ttt | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-ttt-vpa | — | 直接 |
| Maven | de.learnlib:learnlib-ttt-vpa | 20.0.0-SNAPSHOT | 直接 |
| Maven | de.learnlib:learnlib-util | — | 直接 |
| Maven | de.learnlib:learnlib-util | 20.0.0-SNAPSHOT | 直接 |
| Maven | info.picocli:picocli | — | 直接 |
| Maven | info.picocli:picocli | 4.7.7 | 直接 |
| Maven | io.projectreactor:reactor-core | — | 直接 |
| Maven | io.projectreactor:reactor-core | 3.8.6 | 直接 |
| Maven | io.reactivex.rxjava3:rxjava | — | 直接 |
| Maven | io.reactivex.rxjava3:rxjava | 3.1.12 | 直接 |
| Maven | io.smallrye.reactive:mutiny | — | 直接 |
| Maven | io.smallrye.reactive:mutiny | 3.3.0 | 直接 |
| Maven | javax.xml.bind:jaxb-api | 2.3.1 | 直接 |
| Maven | net.automatalib.distribution:automata-distribution | — | 直接 |
| Maven | net.automatalib:automata-api | — | 直接 |
| Maven | net.automatalib:automata-commons-util | — | 直接 |
| Maven | net.automatalib:automata-core | — | 直接 |
| Maven | net.automatalib:automata-parent | 13.0.0 | 直接 |
| Maven | net.automatalib:automata-serialization-aut | — | 直接 |
| Maven | net.automatalib:automata-serialization-ba | — | 直接 |
| Maven | net.automatalib:automata-serialization-dot | — | 直接 |
| Maven | net.automatalib:automata-serialization-learnlibv2 | — | 直接 |
| Maven | net.automatalib:automata-serialization-mata | — | 直接 |
| Maven | net.automatalib:automata-serialization-saf | — | 直接 |
| Maven | net.automatalib:automata-serialization-taf | — | 直接 |
| Maven | net.automatalib:automata-util | — | 直接 |
| Maven | net.sourceforge.pmd:pmd-core | 7.26.0 | 直接 |
| Maven | net.sourceforge.pmd:pmd-java | 7.26.0 | 直接 |
| Maven | org.apache.fory:fory-core | — | 直接 |
| Maven | org.apache.fory:fory-core | 1.4.0 | 直接 |
| Maven | org.checkerframework:checker-qual | — | 直接 |
| Maven | org.checkerframework:checker-qual | 4.2.1 | 直接 |
| Maven | org.codehaus.mojo:extra-enforcer-rules | 1.10.0 | 直接 |
| Maven | org.mockito:mockito-core | — | 直接 |
| Maven | org.mockito:mockito-core | 5.22.0 | 直接 |
| Maven | org.reactivestreams:reactive-streams | — | 直接 |
| Maven | org.reactivestreams:reactive-streams | 1.0.4 | 直接 |
| Maven | org.slf4j:slf4j-api | — | 直接 |
| Maven | org.slf4j:slf4j-api | 2.0.18 | 直接 |
| Maven | org.testng:testng | — | 直接 |
| Maven | org.testng:testng | 7.12.0 | 直接 |
| Maven | org.checkerframework:checker-qual | — | 间接 |
| Maven | com.github.caciocavallosilano:cacio-tta | — | 间接 |
| Maven | com.github.caciocavallosilano:cacio-tta | 1.18 | 间接 |
| Maven | com.github.spotbugs:spotbugs-maven-plugin | — | 间接 |
| Maven | com.github.spotbugs:spotbugs-maven-plugin | 20.0.0-SNAPSHOT | 间接 |
| Maven | com.github.spotbugs:spotbugs-maven-plugin | 4.10.3.0 | 间接 |
| Maven | de.learnlib.testsupport:learnlib-learner-it-support | — | 间接 |
| Maven | de.learnlib.testsupport:learnlib-learner-it-support | 20.0.0-SNAPSHOT | 间接 |
| Maven | de.learnlib.testsupport:learnlib-learning-examples | — | 间接 |
| Maven | de.learnlib.testsupport:learnlib-learning-examples | 20.0.0-SNAPSHOT | 间接 |
| Maven | de.learnlib.testsupport:learnlib-test-support | — | 间接 |
| Maven | de.learnlib.testsupport:learnlib-test-support | 20.0.0-SNAPSHOT | 间接 |
| Maven | de.learnlib.tooling:annotations | — | 间接 |
| Maven | de.learnlib.tooling:annotations | 0.1.1 | 间接 |
| Maven | de.learnlib:learnlib-cli | 20.0.0-SNAPSHOT | 间接 |
| Maven | de.learnlib:learnlib-examples | 20.0.0-SNAPSHOT | 间接 |
| Maven | info.scce:addlib-cudd | — | 间接 |
| Maven | net.automatalib:automata-commons-settings | — | 间接 |
| Maven | net.automatalib:automata-commons-smartcollections | — | 间接 |
| Maven | net.automatalib:automata-dot-visualizer | — | 间接 |
| Maven | net.automatalib:automata-modelchecking-ltsmin | — | 间接 |
| Maven | net.automatalib:automata-modelchecking-m3c | — | 间接 |
| Maven | org.apache.maven.plugins:maven-antrun-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-antrun-plugin | 3.2.0 | 间接 |
| Maven | org.apache.maven.plugins:maven-assembly-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-assembly-plugin | 3.8.0 | 间接 |
| Maven | org.apache.maven.plugins:maven-checkstyle-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-checkstyle-plugin | 3.6.0 | 间接 |
| Maven | org.apache.maven.plugins:maven-clean-plugin | 3.4.0 | 间接 |
| Maven | org.apache.maven.plugins:maven-compiler-plugin | 3.15.0 | 间接 |
| Maven | org.apache.maven.plugins:maven-dependency-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-dependency-plugin | 3.11.0 | 间接 |
| Maven | org.apache.maven.plugins:maven-deploy-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-deploy-plugin | 3.1.4 | 间接 |
| Maven | org.apache.maven.plugins:maven-enforcer-plugin | 1.10.0 | 间接 |
| Maven | org.apache.maven.plugins:maven-enforcer-plugin | 3.6.3 | 间接 |
| Maven | org.apache.maven.plugins:maven-failsafe-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-gpg-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-gpg-plugin | 3.2.8 | 间接 |
| Maven | org.apache.maven.plugins:maven-install-plugin | 3.1.4 | 间接 |
| Maven | org.apache.maven.plugins:maven-invoker-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-invoker-plugin | 3.10.1 | 间接 |
| Maven | org.apache.maven.plugins:maven-jar-plugin | 3.5.0 | 间接 |
| Maven | org.apache.maven.plugins:maven-javadoc-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-javadoc-plugin | 3.12.0 | 间接 |
| Maven | org.apache.maven.plugins:maven-jlink-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-jlink-plugin | 3.3.0 | 间接 |
| Maven | org.apache.maven.plugins:maven-pmd-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-pmd-plugin | 20.0.0-SNAPSHOT | 间接 |
| Maven | org.apache.maven.plugins:maven-pmd-plugin | 3.28.0 | 间接 |
| Maven | org.apache.maven.plugins:maven-project-info-reports-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-project-info-reports-plugin | 3.9.0 | 间接 |
| Maven | org.apache.maven.plugins:maven-release-plugin | 3.3.1 | 间接 |
| Maven | org.apache.maven.plugins:maven-resources-plugin | 3.5.0 | 间接 |
| Maven | org.apache.maven.plugins:maven-scm-publish-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-scm-publish-plugin | 3.3.0 | 间接 |
| Maven | org.apache.maven.plugins:maven-site-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-site-plugin | 3.22.0 | 间接 |
| Maven | org.apache.maven.plugins:maven-source-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-source-plugin | 3.4.0 | 间接 |
| Maven | org.apache.maven.plugins:maven-surefire-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-surefire-plugin | 3.5.5 | 间接 |
| Maven | org.apache.maven.surefire:surefire-testng | — | 间接 |
| Maven | org.checkerframework:maven-compiler-plugin | — | 间接 |
| Maven | org.codehaus.mojo:license-maven-plugin | — | 间接 |
| Maven | org.codehaus.mojo:license-maven-plugin | 2.7.1 | 间接 |
| Maven | org.codehaus.mojo:tidy-maven-plugin | — | 间接 |
| Maven | org.codehaus.mojo:tidy-maven-plugin | 1.4.0 | 间接 |
| Maven | org.eclipse.m2e:lifecycle-mapping | — | 间接 |
| Maven | org.eclipse.m2e:lifecycle-mapping | 1.0.0 | 间接 |
| Maven | org.eluder.coveralls:coveralls-maven-plugin | 4.3.0 | 间接 |
| Maven | org.jacoco:jacoco-maven-plugin | — | 间接 |
| Maven | org.jacoco:jacoco-maven-plugin | 0.8.15 | 间接 |
| Maven | org.kohsuke.metainf-services:metainf-services | — | 间接 |
| Maven | org.kohsuke.metainf-services:metainf-services | 1.11 | 间接 |
| Maven | org.sonatype.central:central-publishing-maven-plugin | — | 间接 |
| Maven | org.sonatype.central:central-publishing-maven-plugin | 0.11.0 | 间接 |
安装 maven:de.learnlib:learnlib-api@19.0.0 会引入 6 个包(直接与传递):其中 0 个存在已知公告,0 个为直接依赖。
没有已知公告影响已评估的依赖。
公告表示依赖图中记录的版本落入某条公告的受影响范围。可达性未经分析,且依赖图包含开发与测试的版本固定——某项发现可能只涉及工具链而非交付的软件。
发现这份报告有不准确之处,或有想法要分享?错误的测量、未识别的工具、建议、疑问——都欢迎提出。每条消息都会被阅读并得到回复。