commit: ff3695b7c110bb24ff3815390adaca92f667d62b

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

Sat Mar 08 07:35:10 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Mar 08 07:35:10 2025 -0800
tree: b596b48d6e2554f1c3150ca1c35dac36711dbcfd
parent: b9f8a859e7f354f026de7c910e17ce29e23678f9 [diff]

fix: bug in cutsat model construction

This PR fixes a bug in the cutsat model construction. It was searching
for a solution in the wrong direction.

2 files changed

tree: b596b48d6e2554f1c3150ca1c35dac36711dbcfd

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 (documentation source: doc/make/index.md).