Jun 09, 2023 + 7414 字 HyperNova:Recursive arguments for customizable constraint systems Nova的进阶版本,可以折叠两个不同的NP实例