{"action":"created","issue":{"url":"https://api.github.com/repos/dreal/dreal4/issues/102","repository_url":"https://api.github.com/repos/dreal/dreal4","labels_url":"https://api.github.com/repos/dreal/dreal4/issues/102/labels{/name}","comments_url":"https://api.github.com/repos/dreal/dreal4/issues/102/comments","events_url":"https://api.github.com/repos/dreal/dreal4/issues/102/events","html_url":"https://github.com/dreal/dreal4/issues/102","id":359047439,"node_id":"MDU6SXNzdWUzNTkwNDc0Mzk=","number":102,"title":"Import Error, when trying to import dreal module into python3.7","user":{"login":"GDelimpa","id":39272555,"node_id":"MDQ6VXNlcjM5MjcyNTU1","avatar_url":"https://avatars0.githubusercontent.com/u/39272555?v=4","gravatar_id":"","url":"https://api.github.com/users/GDelimpa","html_url":"https://github.com/GDelimpa","followers_url":"https://api.github.com/users/GDelimpa/followers","following_url":"https://api.github.com/users/GDelimpa/following{/other_user}","gists_url":"https://api.github.com/users/GDelimpa/gists{/gist_id}","starred_url":"https://api.github.com/users/GDelimpa/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/GDelimpa/subscriptions","organizations_url":"https://api.github.com/users/GDelimpa/orgs","repos_url":"https://api.github.com/users/GDelimpa/repos","events_url":"https://api.github.com/users/GDelimpa/events{/privacy}","received_events_url":"https://api.github.com/users/GDelimpa/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"soonho-tri","id":20779767,"node_id":"MDQ6VXNlcjIwNzc5NzY3","avatar_url":"https://avatars3.githubusercontent.com/u/20779767?v=4","gravatar_id":"","url":"https://api.github.com/users/soonho-tri","html_url":"https://github.com/soonho-tri","followers_url":"https://api.github.com/users/soonho-tri/followers","following_url":"https://api.github.com/users/soonho-tri/following{/other_user}","gists_url":"https://api.github.com/users/soonho-tri/gists{/gist_id}","starred_url":"https://api.github.com/users/soonho-tri/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/soonho-tri/subscriptions","organizations_url":"https://api.github.com/users/soonho-tri/orgs","repos_url":"https://api.github.com/users/soonho-tri/repos","events_url":"https://api.github.com/users/soonho-tri/events{/privacy}","received_events_url":"https://api.github.com/users/soonho-tri/received_events","type":"User","site_admin":false},"assignees":[{"login":"soonho-tri","id":20779767,"node_id":"MDQ6VXNlcjIwNzc5NzY3","avatar_url":"https://avatars3.githubusercontent.com/u/20779767?v=4","gravatar_id":"","url":"https://api.github.com/users/soonho-tri","html_url":"https://github.com/soonho-tri","followers_url":"https://api.github.com/users/soonho-tri/followers","following_url":"https://api.github.com/users/soonho-tri/following{/other_user}","gists_url":"https://api.github.com/users/soonho-tri/gists{/gist_id}","starred_url":"https://api.github.com/users/soonho-tri/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/soonho-tri/subscriptions","organizations_url":"https://api.github.com/users/soonho-tri/orgs","repos_url":"https://api.github.com/users/soonho-tri/repos","events_url":"https://api.github.com/users/soonho-tri/events{/privacy}","received_events_url":"https://api.github.com/users/soonho-tri/received_events","type":"User","site_admin":false}],"milestone":null,"comments":9,"created_at":"2018-09-11T13:27:03Z","updated_at":"2018-09-11T16:34:39Z","closed_at":null,"author_association":"NONE","body":"So I run:\r\n\r\n>import dreal\r\n\r\nor\r\n\r\n> from dreal.api import CheckSatisfiability, Minimize\r\n\r\nwith python3.7, and I get the following error:\r\n\r\nTraceback (most recent call last):\r\n  File \"<stdin>\", line 1, in <module>\r\n  File \"/Users/gdelimpaltadak/dreal4/opt/dreal/4.18.08.1/lib/python3/site-packages/dreal/__init__.py\", line 2, in <module>\r\n    from dreal.util import *\r\n  File \"/Users/gdelimpaltadak/dreal4/opt/dreal/4.18.08.1/lib/python3/site-packages/dreal/util/__init__.py\", line 1, in <module>\r\n    from dreal.util._dreal_util_py import *\r\nImportError: dlopen(/Users/gdelimpaltadak/dreal4/opt/dreal/4.18.08.1/lib/python3/site-packages/dreal/util/_dreal_util_py.so, 2): Symbol not found: __ZNK5dreal3Box12has_variableERKNS_5drake8symbolic8VariableE\r\n  Referenced from: /Users/gdelimpaltadak/dreal4/opt/dreal/4.18.08.1/lib/python3/site-packages/dreal/util/_dreal_util_py.so\r\n  Expected in: /usr/local/lib/libdreal.so\r\n in /Users/gdelimpaltadak/dreal4/opt/dreal/4.18.08.1/lib/python3/site-packages/dreal/util/_dreal_util_py.so\r\n\r\nI have already done the procedure needed for python3 bindings, so I don't know why I get this error."},"comment":{"url":"https://api.github.com/repos/dreal/dreal4/issues/comments/420337215","html_url":"https://github.com/dreal/dreal4/issues/102#issuecomment-420337215","issue_url":"https://api.github.com/repos/dreal/dreal4/issues/102","id":420337215,"node_id":"MDEyOklzc3VlQ29tbWVudDQyMDMzNzIxNQ==","user":{"login":"GDelimpa","id":39272555,"node_id":"MDQ6VXNlcjM5MjcyNTU1","avatar_url":"https://avatars0.githubusercontent.com/u/39272555?v=4","gravatar_id":"","url":"https://api.github.com/users/GDelimpa","html_url":"https://github.com/GDelimpa","followers_url":"https://api.github.com/users/GDelimpa/followers","following_url":"https://api.github.com/users/GDelimpa/following{/other_user}","gists_url":"https://api.github.com/users/GDelimpa/gists{/gist_id}","starred_url":"https://api.github.com/users/GDelimpa/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/GDelimpa/subscriptions","organizations_url":"https://api.github.com/users/GDelimpa/orgs","repos_url":"https://api.github.com/users/GDelimpa/repos","events_url":"https://api.github.com/users/GDelimpa/events{/privacy}","received_events_url":"https://api.github.com/users/GDelimpa/received_events","type":"User","site_admin":false},"created_at":"2018-09-11T16:34:39Z","updated_at":"2018-09-11T16:34:39Z","author_association":"NONE","body":"@soonho-tri Now that I have added those two lines in the .bash_profile file, there is no problem at all, when running python3 through the terminal.\r\nNevertheless there is still the following problem: Even if you run the spyder IDE directly from the terminal (and not e.g. from the anaconda app), which I think it means it uses the same shell as if you would run python3 from a terminal, it gives you the aforementioned Import Error. But why does this happen? I mean, if you run python3 from the terminal it is all fine, but if you run spyder from the same terminal, suddenly the error comes up again.\r\n\r\n"}}
{"actor":{"display_login":"GDelimpa"}}