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

Related