#moonbitJobShop

#项目定位

#核心能力

• 领域模型：设备、工件、工序、可选设备路线、换型时间和交付期。
• 可行调度：工序先后、设备不重叠、设备停机日历、冻结时间和完整性检查。
• 派工策略：FIFO、最短加工时间、最早交期、最小松弛度、换型感知和 Lookahead。
• 优化搜索：局部搜索、禁忌搜索、遗传搜索、模拟退火、破坏-重建和可组合搜索组合。
• 动态场景：插单、取消、设备故障、滚动窗口重调度、版本差异与事件回放。
• 分析输出：完工时间、延期、利用率、瓶颈、关键路径、Pareto 前沿、容量投影、KPI、CSV/文本报告。
• 工程质量：确定性基准、边界测试、约束契约、跨目标检查和 GitHub Actions CI。

#快速开始

moon update
moon check --deny-warn
moon test --deny-warn
moon run cmd/demo

import {
  "ljs448/moonbitJobShop/src" @jobshop,
}

let result = @jobshop.dispatch(input)

#CLI

# 最小可运行示例，打印排程和甘特事件
moon run cmd/demo

# 运行 small / medium / large 固定数据集，并打印可复现指标
moon run cmd/benchmark

#架构

src/
├── model / schedule / validation_extra       领域模型、调度结果与硬约束
├── dispatch_options / dispatch_lookahead     派工规则与前瞻排序
├── calendar / dynamic_capacity                停机日历与容量投影
├── search_* / neighborhood / random           确定性邻域和优化搜索
├── dynamic_events / rolling_window            动态事件与滚动重调度
├── objective* / pareto* / metrics*            目标函数、多目标和运营指标
├── analysis / setup_optimizer                 瓶颈、关键路径和换型分析
├── benchmark* / sensitivity                   基准数据集与 what-if 分析
└── format_* / text_render / trace_export      机器可读和人类可读输出

#基准

moon run cmd/benchmark

#测试与质量

moon fmt --check
moon check --deny-warn
moon test --deny-warn
moon test --target native --deny-warn
moon test --target all --deny-warn
moon info

$prod = (Get-ChildItem src -Filter *.mbt | Where-Object {$_.Name -notlike '*_test.mbt'} | Get-Content | Measure-Object -Line).Lines
$tests = (Get-ChildItem src -Filter '*_test.mbt' | Get-Content | Measure-Object -Line).Lines

#CI

#许可证