卡拉 后门可分解单调电路(BDMC)编译器 语言 Python 3.8.7(64位) 配套 2.3.0(Windows / Linux / Mac) 0.1.6.dev11(Windows / Linux / Mac) 0.3.7(Windows / Linux / Mac) 3.0.0(Windows / Linux / Mac) 软件 1.5.3(Windows / Linux) 3.3(Linux / Mac) 您可以使用pip install --user sortedcontainers == 2.3.0 python-sat == 0.1.6.dev11 hypernetx == 0.3.7将所有必需的软件包安装到中央用户软件包存储库中 争论 卡拉[-h] [-ct {D_BDMC,SD_BDMC}] [-ss {MiniSAT,葡萄糖,Lingeling,