{"payload":{"header_redesign_enabled":false,"results":[{"id":"690055787","archived":false,"color":"#3572A5","followers":11,"has_funding_file":false,"hl_name":"porscheofficial/sls_sat_solving_with_deep_learning","hl_trunc_description":"Repository containing the code for the project \"Using deep learning to construct Stochastic Local Search SAT solvers with performance bou…","language":"Python","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":690055787,"name":"sls_sat_solving_with_deep_learning","owner_id":75478603,"owner_login":"porscheofficial","updated_at":"2023-12-15T23:10:27.963Z","has_issues":true}},"sponsorable":false,"topics":["research","academic-project"],"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":91,"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%253Aporscheofficial%252Fsls_sat_solving_with_deep_learning%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/porscheofficial/sls_sat_solving_with_deep_learning/star":{"post":"X8aCNanlp1uW4Pf45EAhr2kE-DIcVjtX5v12IJfRTsMMRNk4SzVnyfg9aYICPFWl2FHBzlo2MgXZ2hYNCldlkg"},"/porscheofficial/sls_sat_solving_with_deep_learning/unstar":{"post":"hmLQCZPkaBotha-ed-S9ozHbMObL6Ie37F5PD-sFHOhr-HE_1jNOM4tJ-WSmk13FNqmGUdY32B5s5Cx0wOrXng"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"j5jCI9ZgAlZmiSbJePLxQdeT-6K2A3c35VruQwC_NOTrhrerBx-UVjNUNhYL9JbZrocbHSAQE8cb3s74Hajs3Q"}}},"title":"Repository search results"}