Reduce exported functions (#77)#79

Merged

GiggleLiu merged 8 commits intomainfrom

Feb 16, 2026

Commits on Feb 16, 2026

refactor: internalize reduction structs and gadgets in rules module

GiggleLiu
and
claude
committed
refactor: internalize unitdiskmapping implementation details

GiggleLiu
and
claude
committed
refactor: internalize polynomial/truth_table, delete unused graph_types module

GiggleLiu
and
claude
committed
feat: add is_valid_solution methods to graph problem types

GiggleLiu
and
claude
committed
feat: add is_valid_solution methods to set and specialized problems

GiggleLiu
and
claude
committed
refactor: internalize validation free functions, keep as problem methods

GiggleLiu
and
claude
committed
refactor: internalize config_to_bits and bits_to_config

GiggleLiu
and
claude
committed
refactor: slim down prelude to essential items

GiggleLiu
and
claude
committed