Trappist is a tool for computing minimal trap spaces of a Boolean model.

Thu, Nov 30, 2023 · 0 min read