BooleNet is a software tool for computing attractors in the synchronous Boolean network
model  of genetic regulatory networks. It implement the algorithm presented in 
which is based on Binary Decision Diagrams.
BooleNet reads in a Boolean network description represented in a .net 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.
BooleNet binaries are available for the following platforms:
The source code of BooleNet is available here.
- Linux: BooleNet Tested on Red Hat Enterprise kernel 2.6.18, Ubuntu 8.04 (64 bit), and Fedora Core 8.
- Windows Cygwin: BooleNet Tested on cygwin1.dll version 1.5.25.
User manual for BooleNet.
TEST INPUT FILES
You can use the following files to test BooleNet:
 Boolean Dynamics with Random Couplings, M. Aldana, S. Coopersmith, L. P. Kadanoff, 2002, http://arXiv.org/abs/nlin/0204062.
 "Kauffman Networks: Analysis and Applications", E. Dubrova, M. Teslenko, A. Martinelli, Proceedings of International Conference on Computer-Aided Design (ICCAD'2005), November 6-10, 2005, San Jose, CA, USA, pp. 479-484.
 "From Genes to Flower Patterns and Evolution: Dynamic Models of Gene Regulatory Networks",
A. Chaos, M. Aldana, C. Espinosa-Soto, B. G. P. de Leon, A. G. Arroyo, E. R. Alvarez-Buylla,
Journal of Plant Growth Regulation, vol. 25, n. 4, 2006, pp. 278-289.
 "A Method for the Generation of Standardized Qualitative Dynamical Systems of Regulatory Networks", L. Mendoza and I. Xenarios, Journal of Theoretical Biology and Medical Modeling, 2006, vol. 3, no. 13.
 "A Methodology for the Structural and Functional Analysis of Signaling and Regulatory Networks", S. Klamt, J. Saez-Rodriguez, J. A. Lindquist, L. Simeoni, E. D. Gilles, JBMC Bioinformatics, 2006, vol. 7, no. 56.
 "Dynamical Analysis of a Generic Boolean Model for the Control of the Mammalian Cell Cycle", A. Faure, A. Naldi, C. Chaouiya, D. Thieffry, Bioinformatics, 2006, vol. 22, no. 14, pp. e124-e131.
 "Boolean Network Model Predicts Cell Cycle Sequence of Fission Yeast", M. I. Davidich, S. Bornholdt, PLoS ONE. 2008 Feb 27, 3(2):e1672.
 "The Yeast Cell-Cycle Network is Robustly Designed", Fangting Li, Tao Long, Ying Lu, Qi Ouyang, Chao Tang, PNAS April 6, 2004, vol. 101 no. 14, 4781-4786.
Department of Electronics, Computer and Software
School of Information and Communication Technology