AlgebraicJulia / AlgebraicJulia/ModelExploration.jl
Implement rewriting dimension
Ouverte
- Langage dominant
- Julia
- Étoiles
- 12
- Forks
- 2
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
A (possibly non-terminating) rewriting system induces a preorder structure given a starting collection of models.
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Évaluation
Cette issue n'a pas encore été évaluée.