Reduce exported functions (closes #77)#80

Merged

GiggleLiu merged 11 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
fix: restore PlanarGraph and BipartiteGraph VariantParam tests

GiggleLiu
and
claude
committed
merge: resolve conflict with origin/main

GiggleLiu
and
claude
committed
test: add is_valid_solution and cut_size method tests

GiggleLiu
and
claude
committed