Skip to content

Exception on unnecessary inequality #5

@letmaik

Description

@letmaik
-- throws Exception: Cannot process EGBoolValue BoolConst True
model :: FDModel
model = exists $ \col -> do
  [a,b] <- colList col 2
  xsum col @= 2
  a @>= 0
  b @>= 1
  2 @<= 1 -- this causes the exception
  return col

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions