commit: 51fb7a66d1cc6fd25dff29b69450407f73034d11

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Wed Aug 13 19:38:29 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Aug 13 19:38:29 2025 -0700
tree: d351f796ef31d0516c6ba64a368c75ef1f7ee4a1
parent: f8c743e37d993b3c95754e4865b88cab8fbea2ce [diff]

fix: reset decision stack in `grind linarith`

This PR ensures the decision stack is reset after an assignment is
found in `grind linarith`.

Closes #9897

2 files changed

tree: d351f796ef31d0516c6ba64a368c75ef1f7ee4a1

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.