noqx

Project-specific Python coding conventions for noqx. Use when the agent edits Python files, solver helper functions, benchmark utilities, or project guidance where local style, debuggability, cache behavior, or generated ASP code structure matters.

Project-specific workflow for validating noqx solver changes and measuring speedups. Use when the agent writes, edits, optimizes, reviews, or prepares to commit any solver under `solver/`, especially when comparing correctness, ground/solve time, puzzle examples, or acceleration ratios from existing solver examples.

Project-specific git workflow for the noqx repository. Use when the agent stages files, writes commit messages, creates commits, runs pre-commit hooks, pushes to GitHub, or explains commit/push rules for noqx.

Meta workflow for preparing noqx changes for GitHub. Use when the agent is asked to push, commit and push, prepare a commit for sharing, or decide which project skills and checks apply before updating `origin`.