{"payload":{"header_redesign_enabled":false,"results":[{"id":"35195013","archived":false,"color":"#a270ba","followers":24,"has_funding_file":false,"hl_name":"zenna/Z3.jl","hl_trunc_description":"Julia wrapper for The Z3 Theorem Prover (SMT Solver)","language":"Julia","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":35195013,"name":"Z3.jl","owner_id":313946,"owner_login":"zenna","updated_at":"2017-06-23T07:06:15.661Z","has_issues":true}},"sponsorable":false,"topics":[],"type":"Public","help_wanted_issues_count":0,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":94,"errors":[],"result_count":1,"facets":[],"protected_org_logins":[],"topics":null,"query_id":"","logged_in":false,"sign_up_path":"/signup?source=code_search_results","sign_in_path":"/login?return_to=https%3A%2F%2Fgithub.com%2Fsearch%3Fq%3Drepo%253Azenna%252FZ3.jl%2B%2Blanguage%253AJulia","metadata":null,"csrf_tokens":{"/zenna/Z3.jl/star":{"post":"Rcz77y2-wmTJH5ENTNc_qKPbZ5qpCA44BRo3lWlvCzxctQkethkNHXw7YfpJasjyY8uSp-nufepTjbMfMgxLyw"},"/zenna/Z3.jl/unstar":{"post":"E_ol9h-0a3alzZ0JVWtgNLztF5yhQpNm2AG-7cNP2fvqWuOEfuPpMQ5eX3oyasFGdfSeffOJcykHNdGwzJn6vA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"_7JloaXXJokgMdJVIZbK4Maik043Aunlv6CllwyTEO4nW28hQC66eLmmU4hAlYUXMBfR24gmCOJnNYMG1pRTwA"}}},"title":"Repository search results"}