Comptime + Incremental hom search #63
Description
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.
{{ message }}
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.