以中文讲解 OR-Tools CP-SAT 作业车间调度，并附 Python、C++、Java 和 C# 的完整模型求解程序；解释机器互斥、工序先后、makespan 及求解器状态。