Skip to content

docs: clarify determinism guarantees - #137

Merged
lovasoa merged 4 commits into
mainfrom
docs/determinism-guarantees
Aug 31, 2026
Merged

lovasoa merged 4 commits into
mainfrom
docs/determinism-guarantees

Conversation

@lovasoa

@lovasoa lovasoa commented Aug 31, 2026 •

Copy link
Copy Markdown
Collaborator

Closes #136.

Documents good_lp deterministic ordered-model construction, explains that SolverModel::solve is deterministic only when its backend guarantees it, and records in the README that, to the best of our knowledge, none of the supported solvers provides a determinism guarantee.

@lovasoa
lovasoa merged commit 83d030b into main Aug 31, 2026
12 checks passed
@lovasoa
lovasoa deleted the docs/determinism-guarantees branch August 31, 2026 14:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Determinism guarantees

1 participant