AlgebraicJulia / AlgebraicJulia/ModelExploration.jl
Implement rewriting dimension
Offen
- Vorherrschende Sprache
- Julia
- Sterne
- 12
- Forks
- 2
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
A (possibly non-terminating) rewriting system induces a preorder structure given a starting collection of models.
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Bewertung
Dieses Issue wurde noch nicht bewertet.