Open daemontus opened 1 year ago
Currently, this is postponed. The reason is that it is very hard to make native submodules work with Python documentation engines correctly.
Plan for v2.0 would be:
Then, we could use all the normal documentation tools and type annotations without major compatibility problems..
The single-module architecture is starting to look a bit crowded. Some suggestions for (future) modules:
bdd
,model
,attractors
,fixed_points
,trap_spaces
,control
, ...