{"payload":{"header_redesign_enabled":false,"results":[{"id":"46114307","archived":false,"color":"#f34b7d","followers":1,"has_funding_file":false,"hl_name":"psaikko/LMHS","hl_trunc_description":"A SAT-IP Hybrid MaxSAT solver","language":"C++","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":46114307,"name":"LMHS","owner_id":680179,"owner_login":"psaikko","updated_at":"2018-09-12T11:34:41.902Z","has_issues":true}},"sponsorable":false,"topics":["sat-solver","research-paper","maxsat","maxsat-solver","ip-solver"],"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":64,"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%253Apsaikko%252FLMHS%2B%2Blanguage%253AC%252B%252B","metadata":null,"csrf_tokens":{"/psaikko/LMHS/star":{"post":"_GX92v6p26JRDnnlBwhqVlFCXLyygUTuu5VUtqEvhVcnBKAotXBr4HEeejXaX5-dK2tCSRiBxS7LHAMi7O1JGw"},"/psaikko/LMHS/unstar":{"post":"McS41XO-WdYE1g5MnASbjaadacOmVD18pZrPWdWrX6C47GSUhCLYuhgIBrMkdQQFQOwtHwcVAt5xseT4MuzwNQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"CJB63AzRmUf6xp2e_0OsaPNEMR4G06Oi57oVv2oB4Qum6jAAbLFFBYbFaRUzFMxZP3AG9mTdjM7Cv9CvBU0kDw"}}},"title":"Repository search results"}