stack-overflow during simulation-based reduction
spot.translate("(GX(0) R !Xp1) R ((((p0 M p4) <-> F(p5 M p4)) W X(FXp2 R p5)) W F!p1)", "det", "G")leads to a segfault
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information