Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
Author AlgebraicJulia
12 Stars
Updated Last
8 Months Ago
Started In
June 2022

Logo AlgebraicRewriting.jl

Documentation Tests

AlgebraicRewriting.jl is a Julia library for performing category-theoretic rewrites over a broad class of data structures, defined in Catlab.jl. This package defines DPO, SPO, and SqPO for C-Sets, as described in [Brown 2022]. See the documentation for more details.


This library is currently under active development, and so is not yet at a point where a constant API/behavior can be assumed. That being said, if this project looks interesting/relevant please contact us and let us know!

Used By Packages