Remove weight type parameter from CircuitSAT and KColoring#56

Merged

GiggleLiu merged 7 commits intomainfrom

fix/circuitsat-no-weight

Feb 13, 2026

Commits on Feb 13, 2026

docs: add graph visualization library and tutorial-style KColoring→QUBO example

GiggleLiu
and
claude
committed
fix: remove weight type parameter from CircuitSAT and KColoring

GiggleLiu
and
claude
committed
docs: add reduction macro redesign design doc

GiggleLiu
and
claude
committed
refactor: make CLAUDE.md declarative, move action pipelines to issue-to-pr skill

GiggleLiu
and
claude
committed
feat: natural variant reductions, improved tests, and paper updates

GiggleLiu
and
claude
committed
refactor: auto-derive reduction variants via Problem::variant()

GiggleLiu
and
claude
committed
Merge branch 'main' into fix/circuitsat-no-weight
GiggleLiu
committed