Repository navigation

Get counted sols - #1270

Open

Joao-Dionisio wants to merge 5 commits into

get-counted-sols

Open

Get counted sols#1270
Joao-Dionisio wants to merge 5 commits into
masterfrom
get-counted-sols

Commits on Oct 13, 2026
- Add getCountedSols() to retrieve solutions collected by count()
  Joao-Dionisio
  committed
  34069e7
- Drop try/finally in getCountedSols()
  Joao-Dionisio
  committed
  1001e92
- Check collect param instead of stage in getCountedSols()
  Joao-Dionisio
  committed
  d5a9a7b
- Return counted solutions over transformed variables
  Joao-Dionisio
  committed
  161e1ae
- Require presolving off in getCountedSols()
  Joao-Dionisio
  committed
  ea1dacf