|
Dependencies
|
2015-10-29
|
hannesklarner
|
[r107]
cleanup
|
|
Tests
|
2015-11-13
|
hannesklarner
|
[r134]
removed the 'TRANSITIONCOUNTER' feature for mod...
|
|
AttractorDetection.py
|
2015-11-03
|
hannesklarner
|
[r113]
primes objects are now mutable, just like stgs ...
|
|
FileExchange.py
|
2015-10-27
|
hannesklarner
|
[r104]
Added bijection contraint for trap spaces and p...
|
|
InteractionGraphs.py
|
2015-11-20
|
hannesklarner
|
[r139]
activities2animation: counter agrees with length
|
|
ModelChecking.py
|
2015-11-13
|
hannesklarner
|
[r134]
removed the 'TRANSITIONCOUNTER' feature for mod...
|
|
PrimeImplicants.py
|
2015-11-03
|
hannesklarner
|
[r113]
primes objects are now mutable, just like stgs ...
|
|
QuineMcCluskey.py
|
2015-10-27
|
hannesklarner
|
[r104]
Added bijection contraint for trap spaces and p...
|
|
StateTransitionGraphs.py
|
2015-11-20
|
hannesklarner
|
[r138]
stg2dot: default 'FnameDOT=None'
|
|
TemporalQueries.py
|
2015-11-20
|
hannesklarner
|
[r135]
changed name of multivalue encoding from 'traff...
|
|
TrapSpaces.py
|
2015-11-10
|
hannesklarner
|
[r124]
added 'count(Subspaces)' for a list of subspaces
|
|
Utility.py
|
2015-11-20
|
hannesklarner
|
[r137]
digraph2dot: bold graph labels
|
|
__init__.py
|
2015-10-09
|
hannesklarner
|
[r102]
tests callable from PyBoolNet
|
