---
source: tests/solver.rs
assertion_line: 749
expression: "solve_snapshot(provider, &[\"a\"])"
---
a=1
b=1