The `trappist` tool for computing minimal trap spaces is described in [this article](publication/trinhhal-04167028/)
Thu, Nov 30, 2023
