AlgebraicJulia / AlgebraicJulia/ModelExploration.jl
Implement rewriting dimension
Đang mở
- Ngôn ngữ chính
- Julia
- Star
- 12
- Fork
- 2
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
A (possibly non-terminating) rewriting system induces a preorder structure given a starting collection of models.
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
Đánh giá
Issue này chưa được đánh giá.