fsprojects / ReasoningEngine

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