Skip to content

Single-step parallel rewrite utilities

Sankalp Gambhir requested to merge github/fork/sankalpgambhir/term-rewrite-api into main

Provided utilities for single step parallel ground rewrites in terms and formulas, with extension methods to use them.

Merge request reports