|
Dependencies
|
2015-10-29
|
hannesklarner
|
[r107]
cleanup
|
|
Tests
|
2015-12-11
|
hannesklarner
|
[r150]
added STGs.compute_attractors with test and doc...
|
|
AttractorDetection.py
|
2015-11-20
|
hannesklarner
|
[r140]
naive_completeness: bugfix for primes with cons...
|
|
FileExchange.py
|
2015-12-01
|
hannesklarner
|
[r143]
docstring. trucking towards release
|
|
InteractionGraphs.py
|
2015-12-07
|
hannesklarner
|
[r145]
StateTransitionGraphs:successors: bugfix for st...
|
|
ModelChecking.py
|
2015-12-09
|
hannesklarner
|
[r147]
renamed SUCCESSORS to CHANGING and finished doc...
|
|
PrimeImplicants.py
|
2015-12-10
|
hannesklarner
|
[r148]
typos
|
|
QuineMcCluskey.py
|
2015-12-01
|
hannesklarner
|
[r143]
docstring. trucking towards release
|
|
StateTransitionGraphs.py
|
2015-12-11
|
hannesklarner
|
[r150]
added STGs.compute_attractors with test and doc...
|
|
TemporalQueries.py
|
2015-11-20
|
hannesklarner
|
[r135]
changed name of multivalue encoding from 'traff...
|
|
TrapSpaces.py
|
2015-11-23
|
hannesklarner
|
[r141]
minor stuff
|
|
Utility.py
|
2015-12-03
|
hannesklarner
|
[r144]
best_first_reachability: now returns paths. in ...
|
|
__init__.py
|
2015-12-09
|
hannesklarner
|
[r146]
added PyBoolNet.version() to query its version
|
