AlgebraicJulia / AlgebraicJulia/ModelExploration.jl
Implement rewriting dimension
Abierto
- Lenguaje dominante
- Julia
- Estrellas
- 12
- Forks
- 2
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
A (possibly non-terminating) rewriting system induces a preorder structure given a starting collection of models.
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Evaluación
Este issue todavía no se ha evaluado.