codesign-mcdp：用于单调协同设计问题的Python库

摘要

本文介绍了一个名为codesign-mcdp的Python库，用于在Censi(2015)框架下解决单调协同设计问题。该库实现了反链演算、六种基本设计问题类型、三种组合算子以及Kleene不动点求解器，并支持不确定性建模和在线学习。