{"payload":{"header_redesign_enabled":false,"results":[{"id":"102462783","archived":false,"color":"#555555","followers":92,"has_funding_file":false,"hl_name":"arminbiere/lingeling","hl_trunc_description":"Lingeling SAT Solver","language":"C","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":102462783,"name":"lingeling","owner_id":21080321,"owner_login":"arminbiere","updated_at":"2024-03-12T08:34:03.265Z","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%253Aarminbiere%252Flingeling%2B%2Blanguage%253AC","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/arminbiere/lingeling/star":{"post":"k-sBpl1Wh7i3vQtboC824IXm2mELKzgWIvp0pXPGIqyXWQKbTqDLMuEr54uiOfUjtdfyxC_9CgkRMKcgIxlMpw"},"/arminbiere/lingeling/unstar":{"post":"kRnE98PBYTeu9MeZme0Yn5x_AhvYy8PwLNKelgW6XjsKesatJHwk0QgsLlWUG3OnBDfLehw4jL1wG-iJJ8wJgA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"GaupyxCuSBTIJMc5xaoUPrhHdVPSnt9y9B8U5gU1cv5wBuDxo07s8ntfP-SqBzIYbVsrI_Xwsbb2jntDU2zfBw"}}},"title":"Repository search results"}