|
Dependencies
|
2015-10-29
|
hannesklarner
|
[r107]
cleanup
|
|
Tests
|
2016-02-12
|
hannesklarner
|
[r167]
not tested by user
|
|
AttractorDetection.py
|
2016-02-12
|
hannesklarner
|
[r168]
refactoring
|
|
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-01-22
|
hannesklarner
|
[r156]
bugfix for coneofinfluence and disablecounterex...
|
|
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-02
|
hannesklarner
|
[r160]
bugfixes
|
|
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
|
