{"payload":{"header_redesign_enabled":false,"results":[{"id":"98533496","archived":false,"color":"#f34b7d","followers":12,"has_funding_file":false,"hl_name":"fslivovsky/qute","hl_trunc_description":"Qute: a dependency learning QBF solver.","language":"C++","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":98533496,"name":"qute","owner_id":7222300,"owner_login":"fslivovsky","updated_at":"2023-12-13T09:21:55.092Z","has_issues":true}},"sponsorable":false,"topics":["qbf-solver","qbf"],"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":79,"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%253Afslivovsky%252Fqute%2B%2Blanguage%253AC%252B%252B","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/fslivovsky/qute/star":{"post":"bOcbBOY4nrXXJCp4ApqVUblLmqSyH_oMIpIEILnPisG3dHOAoIU_LF-6b7SrecaoQITSg0wtU3AzzW8EovbTQA"},"/fslivovsky/qute/unstar":{"post":"e0PaDmPjdt2cLSTdvxNyA8wMDqiOykFFvSD2Ij9nXTy5r7hQlV2gEx8IxyyM7kaL5yWxWMCXxM7I-1xSdCrN5Q"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"3UjPVQNx8oXv81OimTvgUoqDw-uVec940trHaPdv_0UO6F6CusxODPqXjRjtDKre9FwroLMQkudmKAzLhmyKRA"}}},"title":"Repository search results"}