AlgebraicJulia / AlgebraicJulia/AlgebraicRewriting.jl
Comptime + Incremental hom search
Aberta
enhancement
- Linguagem predominante
- Julia
- Estrelas
- 41
- Forks
- 9
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Descrição
There's a lot of AlgebraicRewriting that could be Comptime'd, but in particular incremental hom search should be prioritized for this due to its relevance for ABMs.
Guia de contribuição
Nenhum guia de contribuição indexado para este repositório
Avaliação
Esta issue ainda não foi avaliada.