v0.3.0

What's Changed

• feat: add pred CLI tool for problem reductions by @GiggleLiu in #82
• feat: add QUBO→ILP and CircuitSAT→ILP reductions by @GiggleLiu in #85
• feat(cli): CLI UX improvements by @GiggleLiu in #84
• fix: close completeness gaps from review-implementation audit (#88) by @GiggleLiu in #89

Full Changelog: v0.2.0...v0.3.0