You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Added test case in branch crab2 (commit 9a21877) that triggers the bug.
The test is actually quite simple. If we just add two constraints x >= 1/2 and x <= 1/2 we get bottom rather than x = 1/2.
If we use integers we get the expected result so something is wrong with how we handle rationals.
Copied from original issue: caballa/crab#12
The text was updated successfully, but these errors were encountered:
From @caballa on February 16, 2017 21:22
Added test case in branch crab2 (commit 9a21877) that triggers the bug.
The test is actually quite simple. If we just add two constraints
x >= 1/2
andx <= 1/2
we getbottom
rather thanx = 1/2
.If we use integers we get the expected result so something is wrong with how we handle rationals.
Copied from original issue: caballa/crab#12
The text was updated successfully, but these errors were encountered: