- new requirement: pyeda
- adds module
generatorsfor the generating Boolean networks - adds
selvaggio_emtto repository, see http://ginsim.org/model/EMT_Selvaggio_etal - migrated unit tests to pytest framework
- bugfix in
STGs.successors_mixed(by @nanls) - adds parameter
MaxOutputtoAttractors.completeness(by @Lauracf) PR
- bugfix in
find_attractor_state_by_randomwalk_and_ctl(by @etonello) - adds
STGs.successors_mixed(by @nanls) - bugfix in
random_successor_mixed(by @nanls) - added
STGs.successors_mixed(by @nanls) - bugfix
random_successor_mixed(by @nanls) - bugfix in
input_combinationsofPrimeImplicants, typo:primes->Primes(by @leonardogian) - modified
primes2stgto return empty stg if primes are empty (by @nanls) - support for drawing multi -digraphs in
digraph2image(by @nanls)
- bugfix binaries of eqntott for windows
- adds detection of os when calling eqntott
- bugfix in create_piechart, affects python3
- bugfix in Commitment.create_diagram caused by moving to networkx2
- bugifx in Basins.create_barplot caused by range, affects python3
- bugfix in ModelChecking.primes2smv for van ham init constraints, caused by zip, affects python3
- bugfix in StateTransitionGraphs.random_walk
- bugfix in StateTransitionGraphs.create_image: adding styles anonymous and mintrapspaces
- bugfix in InteractionGraphs: drawing subgraphs, caused by moving to networkx2
- started to refactor the unittests (split into several files)
- PyBoolNet is now developed with Python3
- PyBoolNet is now compatible with networkx2
- continued work and tuning on Basins, Commitment and Phenotypes
- fixed encoding of mutli -valued variables in
remy_tumorigenesis.bnetof theRepository(using GINsim)
- bugfixes for Python3: encoding / decoding and long / int
- new Module
Commitmentfor the computation of commitment diagrams - new Module
Phenotypesfor the computation of phenotype diagrams - bugfix of encoding of mutli -valued variables in
remy_tumorigenesis.bnetof theRepository - added function
Attractors.open_json(..)to moduleAttractors - added function
Attractors.save_json(..)to moduleAttractors - added function
Attractors.compute_json(..)to moduleAttractors - the PyBoolNet git repository is now in "hard tab" format (tab instead of whitespace)
- refactored
list_states_referenced_by_proposition(..)asenumerate_states(..)for simplicity - refactored the module
AttractorDetectionasAttractorsfor simplicity - refactored the module
QueryPatternsasTemporalLogicfor clarity - refactored the module
BooleanExpressionsasBooleanLogicfor clarity - adapted modules
BasinsandModelCheckingto handle Boolean variables that represent multi -valued variables (see van Ham encoding) - added
StateTransitionGraphs.size_state_spaceto determine size of state spaces, taking into account only the admissible states of Boolean variables that represent multi -valued variables (see van Ham encoding) - added
StateTransitionGraphs.find_vanham_variables(..)to detect variables that represent ternary variables
- bugfix: removed slowdown that was introduced by unnecessarily computing counterexamples in
AttractorDetection.completeness(..),AttractorDetection.univocality(..)andAttractorDetection.faithfulness(..)
- bugfix for linux dependencies, see Issue17
- removed support for linux 32 bit
- added module
BooleanExpressionswithminimize_espresso(..)(work by Sarah Nee) - bugfix for
Utility.Diagraphs.subgraphs2tree(..)that affectedStateTransitionGraphs.add_style_subspaces(..) - added functions
weak_basins(..)strong_basins(..)with bar plot and pie chart visualizations toBasins. Plotting requires matplotlib. - added
add_style_anonymous(..)toInteractionGraphswhich hides node labels - added some toy networks to the
Repository - renamed module
TrapSpacestoAspSolver - renamed module
AttractorBasinstoBasins - added energy function
energy(..)toStateTransitionGraphs - added pretty print function
pprint(..)toPyBoolNet - bugfix in NuSMV -a for dynamic reordering (currently compiled only in 32bit)
- bugfix in NuSMV -a for large numbers (currently compiled only in 32bit)
- removed parameter
AggregatefromTrapSpaces.trap_spaces(..)and similar functions as it is rarely useful - added warning for accepting states bug (see issue #14)
- added T -Helper cell plasticity model of Wassim Abou -Jaoudé
- improved formatting of
primes2bnet(..)andprimes2mindnf(..) - added parameter
Representationand optionpercolatedto parameterTypeoftrap_spaces(..) - implemented tempfile for functions
check_primes(..),check_primes_with_counterexample(..)andcheck_primes_with_acceptingstates(..)(bugfix for windows) - bugfix in
subspace2proposition - renamed
subspace1_is_in_subspace2(..)toA_is_subspace_of_B(..)for clarity
- added section
For Developersto manual - refactored git repository so that all necessary files for building PyBoolNet are available on github
- added functions
state_is_in_subspaceandsubspace1_is_in_subspace2toStateTransitionGraphs - made the header targets, factors in
FileExchange.primes2bnet(..)optional (default without header) - added argument
Copytocreate_blinkers(..),create_variables(..),create_disjoint_union(..),rename(..),remove_variables(..)andremove_all_variables_except(..)of modulePrimeImplicants
- support for windows and macos
- refactored
subspace2statesaslist_states_in_subspaceandproposition2statesasenumerate_states - refactored function for state and subspace conversions to
state2str,state2dict,subspace2str,subspace2dictand added basic asserts - added functions
univocality_with_counterexample,faithfulness_with_counterexampleandcompleteness_with_counterexample - refactored the functions
univocal,faithfulandcompleteness_iterativeto twounivocality,faithfulnessandcompleteness - removed function
completeness_naivefrom AD since it is always less efficient thancompleteness_iterative - renamed module
TemporalQueriestoQueryPatternsfor clarity - bugfix absolute import for Python 3.x
- added functions
create_variables,create_disjoin_unionto module PIs - split function
percolate_constantsfrom module PIs intopercolate_and_keep_constantsandpercolate_and_remove_constantsfor clarity - bugfix in
completeness_iterativeof module AD - moved function
compute_attractors_tarjanfrom module STGs to module AttractorDetection - split functions
check_primesandcheck_smvfrom module MC into three functions each for counterexamples, acceptingstates and both of for clarity - removed feature
add_style_condensationgraphfrom module STGs - bugfix for the computation of the condensation graph
- added the parameter
LayoutEnginefor drawing graphs. Possible engines:dot,neato,fdp,sfdp,circoandtwopi - added functions for the
sccgraph, thecondensationgraphand theHTGto module STGs - now following the git model described in [nvie.com](http://nvie.com/posts/a -successful -git -branching -model/)
- refactored
Utility.pyinUtility\DiGraphs.pyandUtility\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](https://github.com/hklarner/NuSMV -a)
- added
Repository/, a folder with pre -defined networks - added support for Python 2.x and 3.x
- added function
input_combinationsto modulePrimeImplicants
- first official release