Answer Set Programming

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
Thu, Nov 30, 2023
Trappist is a tool for computing minimal trap spaces of a Boolean model.