Figure out a way to test UNSAT cache #944

Open

opened

Due to improvements in #935, our previous test for UNSAT cache had to be removed, because propagating inequalities made the whole example trivial to solve.

We need a new way to test that UNSAT cache mechanism is working.

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

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests