Answer Set Programming

Trappist is a tool for computing minimal trap spaces of a Boolean model. featured image
Logical Model

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

The `trappist` tool for computing minimal trap spaces is described in [this article](publications/trinhhal-04167028/)

Read more