Expand description
Library face of pounce-cli. Exists so the CLI’s argv parser and
built-in problems can be unit-tested without invoking main.
Modules§
- builtin
- Built-in TNLP test problems for the CLI. Each problem is a
self-contained
impl TNLPso the CLI can run end-to-end without parsing an.nlfile. - citations
- Citation lister for
pounce --cite(pounce#…): tells a user which papers / software to cite when they publish results obtained with pounce. - cli
- Argv parser for the
pouncebinary. Tiny hand-rolled parser so we avoid pulling inclap(and its 100k LOC dependency tree). - counting_
tnlp - TNLP wrapper that counts evaluation calls so the CLI can mirror Ipopt’s end-of-run “Number of … evaluations = N” summary block.
- debug_
repl - Interactive solver debugger front end — “pdb for the IPM”.
- minima
- Multistart / find-minima driver for the
pounceCLI (--minima). - nl_
external - AMPL imported (external) function support via the
funcadd_ASLABI. - nl_
fbbt_ translate - Translate parsed
.nlconstraint expressions into anFbbtTapefor the presolve FBBT pass (issue #62). - nl_
hessian_ program - Precompiled symbolic-Hessian program for one
Tape. - nl_
reader - Minimal AMPL
.nlASCII-format reader. - nl_tape
- Flat-tape reverse-mode AD for
.nlexpression trees. - nl_
writer - Minimal AMPL
.sol-format writer. - Ipopt-style banner / problem-stats / final-summary printing for
the
pounceCLI. Output is structured to match upstream Ipopt’s console layout closely enough that anyone familiar withipoptcan spot at a glance whether POUNCE is converging similarly. - seeded_
tnlp - TNLP wrapper that overrides the starting point with a seed captured
by the interactive debugger, so
resolvecan re-run the solve from the current iterate with new options (a primal warm start). - sens
- Parametric-sensitivity and reduced-Hessian post-processing for the
pouncedriver. - solve_
report - Compatibility shim — the report writer now lives in
pounce-solve-reportso the GAMS solver link (viapounce-cinterface) can emit reports too. This re-export preserves allpounce_cli::solve_report::*call sites. - verify
pounce verify <problem.nl> <claim.sol>— independent solution checker.