AlgebraicJulia / AlgebraicJulia/AlgebraicRewriting.jl
Comptime + Incremental hom search
Offen
enhancement
- Vorherrschende Sprache
- Julia
- Sterne
- 41
- Forks
- 9
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
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.
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Bewertung
Dieses Issue wurde noch nicht bewertet.