{"payload":{"header_redesign_enabled":false,"results":[{"id":"663783","archived":false,"color":"#f34b7d","followers":5,"has_funding_file":false,"hl_name":"damelang/precosat","hl_trunc_description":"Armin Biere's PrecoSAT SAT solver","language":"C++","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":663783,"name":"precosat","owner_id":20817,"owner_login":"damelang","updated_at":"2023-05-23T07:56:38.754Z","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":75,"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%253Adamelang%252Fprecosat%2B%2Blanguage%253AC%252B%252B","metadata":null,"csrf_tokens":{"/damelang/precosat/star":{"post":"NKY-g5NYG3j0rmvf6W3-qVwAu7DG6t6espQ2IJX6Efd4JoSeJG8sF6i_icL6-NawzUnHHb6D7NmUjDmJ8veBww"},"/damelang/precosat/unstar":{"post":"oZCAjQRIsmrs-LqN1C1vc8I8QveTRIQK_2Lx4AyexbzRP73g0o2bU1r9h3N2aJc4AMD57dG-bncFjsjO6Cfjlw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"8_QJjv0vv-OiKC6gzqRfZDRgUaS8lX_8yJ5X28OqHLhQoRgyj8z8XrrgaliICdE2pUx3WLhbLaF-gJtIQNKTRA"}}},"title":"Repository search results"}