Отладка и расширение решателя параметров atopile

engineering

solver is a Claude Code skill that documents the Faebryk parameter solver internals used inside the atopile compiler, covering Sets/Literals, Parameters, Expressions, and the core invariants that must hold during mutation. It walks through practical debugging and extension workflows for the solver layer of the codebase. atopile is a language and compiler for electronics design: declarative `.ato` files define modules, interfaces, tolerances, and equations, while the compiler resolves constraints, picks parts, and updates KiCad layouts. This skill is aimed at core atopile contributors who need to understand, debug, or extend parameter-solving behavior.