Titre(nom du software): boolSim

boolSim/genYsis is a software written by Abhishek Garg. It implements algorithms based on reduced ordered binary decision diagrams (ROBDDs) to evaluate attractors and perform perturbation experiments on Boolean networks, using synchronous or asynchronous network dynamics %%link to https://doi.org/10.1093/bioinformatics/btn336%%.
This version of boolSim was modified by Julien Dorier to:
- interpret networks with complex logical rules.
- accept networks in sbml-qual format %%links to https://dx.doi.org/10.1186/1752-0509-7-135 and  https://dx.doi.org/10.2390/biecoll-jib-2015-270%%
- output sets of reachable states from a user defined set of initial states.

Binary distribution:
- Linux 64-bit (with libc>=2.12) %%link to boolSim-1.1.0-Linux-libc2.12.tar.gz%%
- Mac OS X 64-bit (>= 10.6) %%link to boolSim-1.1.0-Darwin-OSX10.6.tar.gz%%

Documentation:  %%link to tutorial.pdf%%