{"payload":{"header_redesign_enabled":false,"results":[{"id":"100266765","archived":false,"color":"#f34b7d","followers":43,"has_funding_file":false,"hl_name":"sukrutrao/SAT-Solver-DPLL","hl_trunc_description":"A simple SAT solver that implements the DPLL algorithm with unit resolution","language":"C++","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":100266765,"name":"SAT-Solver-DPLL","owner_id":17356300,"owner_login":"sukrutrao","updated_at":"2019-09-10T02:59:44.746Z","has_issues":true}},"sponsorable":false,"topics":["sat-solver","dpll","satisfiability","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":61,"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%253Asukrutrao%252FSAT-Solver-DPLL%2B%2Blanguage%253AC%252B%252B","metadata":null,"csrf_tokens":{"/sukrutrao/SAT-Solver-DPLL/star":{"post":"PNNFG3ZQ4eNP3cpSMs67-IS13m4Syqn1VsmM42igCdPU4WShJrN2w_ktM6zfpsQ6VoohAOqjQQ2ZT5XLFGTntQ"},"/sukrutrao/SAT-Solver-DPLL/unstar":{"post":"nq2mxQcydGrRcLw4PkrpNa_XkR0XdjYyFR1d4OnqVWZrXfT2w2kQtym5hc4Q17-hmLIr3VrQKTtisGsV4iPWDw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"CHMBMiGWJUdd76b7cXOKPRpq5psErUSIHqe-a7XE_uQoJyAgru12Lxy3YizVMJqi78C11CXYwuTaeuQJBB_GCg"}}},"title":"Repository search results"}