Timeout when using the library #1152

Open

opened

on Sep 15, 2026

If actually run the example from other library like MIPLIB, there are some problems using the reduction rule and reduce to the solver, but frequently the timeout happened.

This might be a potential issue when we consider this library to be useful.

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

Good issues
Status
No status

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests