{"payload":{"header_redesign_enabled":false,"results":[{"id":"87736935","archived":false,"color":"#3572A5","followers":1,"has_funding_file":true,"hl_name":"saifkhichi96/basic-sat","hl_trunc_description":"BasicSAT is a very limited and naive SAT Solver written in Python.","language":"Python","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":87736935,"name":"basic-sat","owner_id":15276012,"owner_login":"saifkhichi96","updated_at":"2022-01-10T18:58:51.087Z","has_issues":true}},"sponsorable":true,"topics":["python","sat-solver","dpll-algorithm"],"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":73,"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%253Asaifkhichi96%252Fbasic-sat%2B%2Blanguage%253APython","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/saifkhichi96/basic-sat/star":{"post":"EXsHJogyIOtkMC7Nooo4MNx9OeNFkVbgk1ZymxWUv-f6AS4eqmj9bFRDe4ZvQJ2I_mTpjM2Yl2Z_e51B5A8fEw"},"/saifkhichi96/basic-sat/unstar":{"post":"qugovIcCxEJOqf7XOdyeBCkBUlnCPQb8H55nGdK9grGXkQoI5kxNBk6ehVQIovXlobO_hQo0Kxckk9xph5v9fg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"I-CaPYvZ40E05NeeQMOCvh3okcVC3NIeFsqcrmZIpAFlbPwlNm73nI9e08JfEEJlktdDsrD8UeERg1muKMDA7A"}}},"title":"Repository search results"}