PyBoolNet is a Python package for the generation, modification and analysis of Boolean networks. The current version is available at PyBoolNet/releases.
For the manual, a reference and tutorials see the PyBoolNet manual. For bug reports and feedback do not hesitate to open issues at PyBoolNet issues or contact
- added section
For Developers
to manual - refactored git repository so that all necessary files for building PyBoolNet are available on github
- added functions
state_is_in_subspace
andsubspace1_is_in_subspace2
toStateTransitionGraphs
- made the header targets, factors in
FileExchange.primes2bnet(..)
optional (default without header) - added argument
Copy
tocreate_blinkers(..)
,create_variables(..)
,create_disjoint_union(..)
,rename(..)
,remove_variables(..)
andremove_all_variables_except(..)
of modulePrimeImplicants
- support for windows and macos
- refactored
subspace2states
aslist_states_in_subspace
andproposition2states
aslist_states_referenced_by_proposition
- refactored function for state and subspace conversions to
state2str
,state2dict
,subspace2str
,subspace2dict
and added basic asserts - added functions
univocality_with_counterexample
,faithfulness_with_counterexample
andcompleteness_with_counterexample
- refactored the functions
univocal
,faithful
andcompleteness_iterative
to twounivocality
,faithfulness
andcompleteness
- removed function
completeness_naive
from AD since it is always less efficient thancompleteness_iterative
- renamed module
TemporalQueries
toQueryPatterns
for clarity - bugfix absolute import for Python 3.x
- added functions
create_variables
,create_disjoin_union
to module PIs - split function
percolate_constants
from module PIs intopercolate_and_keep_constants
andpercolate_and_remove_constants
for clarity - bugfix in
completeness_iterative
of module AD - moved function
compute_attractors_tarjan
from module STGs to module AttractorDetection - split functions
check_primes
andcheck_smv
from module MC into three functions each for counterexamples, acceptingstates and both of for clarity - removed feature
add_style_condensationgraph
from module STGs - bugfix for the computation of the condensation graph
- added the parameter
LayoutEngine
for drawing graphs. Possible engines:dot,neato,fdp,sfdp,circo
andtwopi
- added functions for the
sccgraph
, thecondensationgraph
and theHTG
to module STGs - now following the git model described in nvie.com
- refactored
Utility.py
inUtility\DiGraphs.py
andUtility\Misc.py
- added documentation source to
Docs\Sphinx
- added
AttractorBasins.py
, a library for visualizing basins of attraction - added support for model checking with accepting states via NuSMV-a
- added
Repository/
, a folder with pre-defined networks - added support for Python 2.x and 3.x
- added function
input_combinations
to modulePrimeImplicants
- first official release