Skip to content

In MILP constraint solving, the tight estimation of big-M value is not implemented #36

Description

@chengchihhong

Compared to the old version owned by fortiss, now big-M value is a unique and very large number which is not specific to each neuron.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type
No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions