之前看见的一个 LTL Synthesis 的 issue

[aalex1945]

在 2021 年你发布了这样的 issue（reactive-systems/ml2#1 ），我现在也需要复现这个工作，不知道你解决了 issue 中的问题吗？谢谢。