1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Multiplication bug

Issue #955 new
Broes De Cat created an issue

I have a situation where 

totalCost = ... + sum{...} * 50 * 2

results in unsat, while

totalCost = ... + sum{...} * 100

yields a solution.

I will see when I have some time to add a complete example with an anonimized theory :)

Comments (1)

  2. Log in to comment
Assignee
–
Type
bug
Priority
minor
Status
new
Component
–
Version
–
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!