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.