{"action":"created","issue":{"url":"https://api.github.com/repos/starwing/amoeba/issues/6","repository_url":"https://api.github.com/repos/starwing/amoeba","labels_url":"https://api.github.com/repos/starwing/amoeba/issues/6/labels{/name}","comments_url":"https://api.github.com/repos/starwing/amoeba/issues/6/comments","events_url":"https://api.github.com/repos/starwing/amoeba/issues/6/events","html_url":"https://github.com/starwing/amoeba/issues/6","id":191716467,"number":6,"title":"Is there a way of telling when a variable is underconstrained?","user":{"login":"hfossli","id":3652587,"avatar_url":"https://avatars.githubusercontent.com/u/3652587?v=3","gravatar_id":"","url":"https://api.github.com/users/hfossli","html_url":"https://github.com/hfossli","followers_url":"https://api.github.com/users/hfossli/followers","following_url":"https://api.github.com/users/hfossli/following{/other_user}","gists_url":"https://api.github.com/users/hfossli/gists{/gist_id}","starred_url":"https://api.github.com/users/hfossli/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hfossli/subscriptions","organizations_url":"https://api.github.com/users/hfossli/orgs","repos_url":"https://api.github.com/users/hfossli/repos","events_url":"https://api.github.com/users/hfossli/events{/privacy}","received_events_url":"https://api.github.com/users/hfossli/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":13,"created_at":"2016-11-25T14:47:10Z","updated_at":"2016-11-28T19:54:17Z","closed_at":null,"body":"I would like to ask the solver wether a variable is underconstrained or not. Maybe I can try to add a constraint for a variable and see if I get an error? Is there better ways?"},"comment":{"url":"https://api.github.com/repos/starwing/amoeba/issues/comments/263375856","html_url":"https://github.com/starwing/amoeba/issues/6#issuecomment-263375856","issue_url":"https://api.github.com/repos/starwing/amoeba/issues/6","id":263375856,"user":{"login":"hfossli","id":3652587,"avatar_url":"https://avatars.githubusercontent.com/u/3652587?v=3","gravatar_id":"","url":"https://api.github.com/users/hfossli","html_url":"https://github.com/hfossli","followers_url":"https://api.github.com/users/hfossli/followers","following_url":"https://api.github.com/users/hfossli/following{/other_user}","gists_url":"https://api.github.com/users/hfossli/gists{/gist_id}","starred_url":"https://api.github.com/users/hfossli/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hfossli/subscriptions","organizations_url":"https://api.github.com/users/hfossli/orgs","repos_url":"https://api.github.com/users/hfossli/repos","events_url":"https://api.github.com/users/hfossli/events{/privacy}","received_events_url":"https://api.github.com/users/hfossli/received_events","type":"User","site_admin":false},"created_at":"2016-11-28T19:54:17Z","updated_at":"2016-11-28T19:54:17Z","body":"> So, if a can be any value, then it's underconstrainted, but if it can only be the exactly one value, so it's not underconstrainted, right?\r\nYep, that's what I'm thinking\r\n\r\n> and then a = 50, is a underconstrainted?\r\nNo, it is not underconstrained. It is sufficiently constrained to be 50 because `a == 30 weak` pulls it to the lowest possible value while satisfying constraint `a >= 50 strong`"}}
{"actor":{"display_login":"hfossli"}}