add-rule

To add reduction rules to a Rust codebase, follow a structured process that guides you through gathering requirements, implementing Rust code for reductions and tests, and documenting in Typst. This ensures adherence to established patterns for rule implementation.

Documenting reduction rules in Typst involves updating the paper documentation and generating necessary project exports. This process ensures all new rule implementations are properly recorded and aligned with existing codebase standards.

Yes, you can use this guided implementation to systematically reduce MinimumVertexCover to MaximumIndependentSet. It provides a step-by-step checklist for gathering information and writing the corresponding Rust code.

You do not need to write tests entirely from scratch, as the process offers templates and instructions for writing Rust code for both reduction logic and tests. This ensures new rules are validated against established testing patterns.

Using a structured workflow for contributing problem reductions streamlines the addition of new rules and ensures all necessary documentation and implementation steps are followed. It prevents inconsistencies by enforcing established codebase patterns.