Repository navigation

chore(pumpkin-solver): Streamline the solver `--help` output and MiniZinc flag description - #627

Open

ImkoMarijnissen wants to merge 9 commits into

mainfrom

refactor/help-descriptions

Open

chore(pumpkin-solver): Streamline the solver `--help` output and MiniZinc flag description #627
ImkoMarijnissen wants to merge 9 commits into
mainfrom
refactor/help-descriptions

Commits on Oct 22, 2026
- refactor: streamline the argument descriptions + MiniZinc flag descriptions
  ImkoMarijnissen
  committed
  15b67c0
- refactor: clap-style defaults and possible values uses int
  ImkoMarijnissen
  committed
  bbdc725
- refactor: give categories to the flags
  ImkoMarijnissen
  committed
  0b46544
- refactor: remove Max(SAT) flags from the .msc files
  ImkoMarijnissen
  committed
  51f5ae7
- chore: args doc cleanup
  ImkoMarijnissen
  committed
  7f7745a
- chore: update clearer value names
  ImkoMarijnissen
  committed
  51d3c4d
- chore: clean up docs
  ImkoMarijnissen
  committed
  f47f6d0
- chore: further cleanup for short help
  ImkoMarijnissen
  committed
  a37c276
- chore: make requirements between flags explicit
  ImkoMarijnissen
  committed
  a2ca3e9