|
Dependencies
|
2015-10-29
|
hannesklarner
|
[r107]
cleanup
|
|
Tests
|
2015-11-05
|
hannesklarner
|
[r122]
TrapSpaces: removed trap_spaces_projected as I ...
|
|
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-10
|
hannesklarner
|
[r123]
added 'add_style_condensation(IGraph)'
|
|
ModelChecking.py
|
2015-11-11
|
hannesklarner
|
[r126]
rename 'VARIABLESCHANGING' to 'SUCCESSORS' (see...
|
|
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-05
|
hannesklarner
|
[r119]
depreceated cluster edges and added 'condensati...
|
|
TemporalQueries.py
|
2015-11-10
|
hannesklarner
|
[r125]
added 'init_for_multivalues(Primes)' which crea...
|
|
TrapSpaces.py
|
2015-11-10
|
hannesklarner
|
[r124]
added 'count(Subspaces)' for a list of subspaces
|
|
Utility.py
|
2015-11-05
|
hannesklarner
|
[r120]
bold labels
|
|
__init__.py
|
2015-10-09
|
hannesklarner
|
[r102]
tests callable from PyBoolNet
|
