BNS

Computes attractors in Boolean Networks with Synchronous update. BNS is a software tool used for the modeling of genetic regulatory networks. It implements an algorithm based on a SAT-based bounded model checking. BNS uses much less space compared to BooleNet or other BDD-based approaches for computing attractors. It can handle several orders of magnitude larger networks. Finally, it reads in a Boolean network description represented in a .cnet format similar to the Berkeley Logic Interchange Format (BLIF) format commonly used in synthesis and verification tools and prints out the set of network's attractors.