commit: fa39a95c90cc631048771341356d663266862523

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

Tue Jul 14 22:49:40 2026 +0000
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jul 14 22:49:40 2026 +0000
tree: 562e47c1f2bb94bc05126ee301b6e3f22aa1b1d9
parent: d16f7143576d0d0a9770a944ae46602c0c142716 [diff]

feat: add the `liaSteps` configuration option to `grind`

This PR adds a new `liaSteps` configuration option to `grind`.
The motivation is to quickly interrupt the search for hard linear integer arithmetic problems.

7 files changed

tree: 562e47c1f2bb94bc05126ee301b6e3f22aa1b1d9

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.