Repository navigation

Basic steps implementation - #141

Merged

pulsipher merged 9 commits into

infiniteopt:masterfrom

dnguyen227:basic_steps

Oct 15, 2026

Merged

Basic steps implementation#141
pulsipher merged 9 commits into
infiniteopt:masterfrom
dnguyen227:basic_steps

Commits on Oct 14, 2026
- Initial
  dnguyen227
  committed
  7be03f0
- Support proper basic steps on infinite disjunctions
  dnguyen227
  committed
  db40f20
- Clean up functions
  dnguyen227
  committed
  5e78897
- Infiniteopt ext
  dnguyen227
  committed
  5f40bec
- Warning messages and code coverage
  dnguyen227
  committed
  5492afe
- Recoverable info
  dnguyen227
  committed
  80b8612
- _set_support refactor + warning on shared indicators
  dnguyen227
  committed
  f6dbd36
- Rebase with main.
  dnguyen227
  committed
  07a7987
Commits on Oct 15, 2026
- Merge branch 'master' into basic_steps
  dnguyen227
  authored
  84f9752