search

fsprojects / ReasoningEngine

Symbolic analysis of discrete dynamical systems
MIT License
23 stars 5 forks source link

Update readme.md #10

Closed kuglerh closed 11 months ago