{"payload":{"header_redesign_enabled":false,"results":[{"id":"81684119","archived":false,"color":"#5e5086","followers":0,"has_funding_file":false,"hl_name":"pavel-r-georgiev/tree-search-algorithms","hl_trunc_description":"🌳 Implementation of tree search algorithms dealing with satisfiability of propositional logic sentences","language":"Haskell","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":81684119,"name":"tree-search-algorithms","owner_id":6450372,"owner_login":"pavel-r-georgiev","updated_at":"2017-07-16T12:08:42.909Z","has_issues":true}},"sponsorable":false,"topics":["haskell","dpll-algorithm","walksat-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":52,"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%253Apavel-r-georgiev%252Ftree-search-algorithms%2B%2Blanguage%253AHaskell","metadata":null,"csrf_tokens":{"/pavel-r-georgiev/tree-search-algorithms/star":{"post":"1e5LQU_SyH-phakUWRckO8eiTDdSlNC_D6Ki8pso-T-Ka574qn5gFFFjtGAZCiPqduQVkqYEc4teSDwouykFDQ"},"/pavel-r-georgiev/tree-search-algorithms/unstar":{"post":"0sw_st5_W_Hj2JEQ6LLIIRp8jURgOEyTXwVwcfe6N-h_kiLHxdgQRxazixgOwcQW8Lc-0UalTShhrAJtxlA_SQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"4zdOZQw1_R3zWy6oHkPQTRfT1izHaYgE2lA2HLx-Z6cgqTxLMgCbQ0BqOdZIn6q8AvqODb6czoawdBS34HxTDA"}}},"title":"Repository search results"}