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
We do currently only support values of type float to have distance ∗, which has sufficed for our current examples. Our tool would be more complete if a variable x could have type int[∗] , though treating the value of ˆx as being integral may prove less than trivial.
The text was updated successfully, but these errors were encountered:
We do currently only support values of type
float
to have distance∗
, which has sufficed for our current examples. Our tool would be more complete if a variablex
could have typeint[∗]
, though treating the value ofˆx
as being integral may prove less than trivial.The text was updated successfully, but these errors were encountered: