search

Echtzeitsysteme / gips

Graph-Based (M)ILP Problem Specification Tool
https://gips.dev
GNU General Public License v3.0
3 stars 1 forks source link

Implication is completely broken #35

Closed maxkratz closed 1 year ago

maxkratz commented 2 years ago

One of the implication tests is failing for all ILP solvers. Maybe there is a bug in the problem generation or the test case is wrong.

maxkratz commented 2 years ago

See test(s): https://github.com/Echtzeitsysteme/gips-tests/blob/main/test.suite.gips/src/test/suite/gipsl/all/build/GipslAllBuildImplicationTest.java

maxkratz commented 1 year ago

Currently, the implication implementation is completely broken. In each test case, the generator does not generate any ILP constraints:

\ LP format - for model browsing. Use MPS format to capture full model detail.
Maximize
  n2n#0 + n2n#1 + n2n#2
Subject To
Bounds
Binaries
 n2n#0 n2n#1 n2n#2
End

All entries in GipsEngine.constraints do not have any ILP or depending ILP constraints.

maxkratz commented 1 year ago

The implication was never completely broken; I just triggered another bug/had an error in my specification. However, with the merge of #74, the implication works just fine (after adjusting the transformation epsilon).