egraph-rs

Commands and procedures to format, lint, and run tests for Rust, WebAssembly, Python, and JS/TS in the egraph-rs project.

Conventions and format rules for writing commit messages in the egraph-rs project.

Guidelines for general development process, coding style, writing comments, and updating skills after tasks in the egraph-rs project.

Core architectural and implementation patterns of layouts, clustering, layering, and triangulation in egraph-rs.