|
Dependencies
|
2016-02-12
|
hannesklarner
|
[r172]
settings.cfg must be added manually for win/lin...
|
|
Tests
|
2016-02-12
|
hannesklarner
|
[r171]
revert to NuSMV 2.5.4
|
|
AttractorDetection.py
|
2016-02-15
|
hannesklarner
|
[r174]
renamed find_attractorstate_by_randomwalk_and_c...
|
|
FileExchange.py
|
2015-12-01
|
hannesklarner
|
[r143]
docstring. trucking towards release
|
|
InteractionGraphs.py
|
2016-01-21
|
hannesklarner
|
[r154]
updated docstrings and minor stuff
|
|
ModelChecking.py
|
2016-02-15
|
hannesklarner
|
[r175]
bugfix for model checking of the empty Boolean ...
|
|
PrimeImplicants.py
|
2016-02-03
|
hannesklarner
|
[r164]
remove_variables: bugfix
|
|
QuineMcCluskey.py
|
2015-12-01
|
hannesklarner
|
[r143]
docstring. trucking towards release
|
|
StateTransitionGraphs.py
|
2016-02-15
|
hannesklarner
|
[r174]
renamed find_attractorstate_by_randomwalk_and_c...
|
|
TemporalQueries.py
|
2016-02-02
|
hannesklarner
|
[r161]
bugfix
|
|
TrapSpaces.py
|
2016-01-21
|
hannesklarner
|
[r154]
updated docstrings and minor stuff
|
|
Utility.py
|
2015-12-15
|
hannesklarner
|
[r151]
[bugfix] subgraphs2tree: false detection of non...
|
|
__init__.py
|
2015-12-09
|
hannesklarner
|
[r146]
added PyBoolNet.version() to query its version
|
