Solver
OfficialSymbolically solve and validate constraints.
Authoratopile
Version1.0.0
Installs0
System Documentation
What problem does it solve?
The Solver module is the heart of atopile's parameter subsystem, providing symbolic simplification and validation of constraint systems built from Parameters, Literals, and Expressions. It enforces core invariants during mutation to ensure graphs remain correct and learnable.
Core Features & Use Cases
- Symbolic manipulation of parameters, literal sets, and expressions to produce canonical, deduplicated forms.
- Invariant-driven mutation: safe graph transformations that preserve semantics while enabling debugging and extension.
- Debug tooling and hands-on workflows for solver development and testing within the Faebryk ecosystem.
Quick Start
Create a minimal test graph and run DefaultSolver().simplify(g=..., tg=...) to inspect the resulting mutation_map and invariants in action.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: Solver Download link: https://github.com/atopile/atopile/archive/main.zip#solver Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.