|
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-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-02-12
|
hannesklarner
|
[r169]
bugfix for auxillary variables: CHANGING remove...
|
|
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-12
|
hannesklarner
|
[r170]
refactoring and 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
|
