{"payload":{"header_redesign_enabled":false,"results":[{"id":"400315798","archived":false,"color":"#178600","followers":0,"has_funding_file":false,"hl_name":"julianschelb/playground-smt","hl_trunc_description":"Implementation of multiple algorithms and heuristics to find a SMT. Also my first c# project.","language":"C#","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":400315798,"name":"playground-smt","owner_id":32820083,"owner_login":"julianschelb","updated_at":"2021-08-26T22:10:35.315Z","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":105,"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%253Ajulianschelb%252Fplayground-smt%2B%2Blanguage%253AC%2523","metadata":null,"csrf_tokens":{"/julianschelb/playground-smt/star":{"post":"lb5ReM99jNv5kJZ0rr5HJlDuHe5w0g__Se5gGHw2n2QbRB2uxcEgrCgrg4dQX7Wg44Z6hU4Dzh0UbVrHlk64Mw"},"/julianschelb/playground-smt/unstar":{"post":"nraj52AQfp27DjBoaz9j0KQQrHhI7JPXPor9bR_atdSXV5tss78q8UcXe6PC6veVojl_Ifb4sExZVFkx8D-XRg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"PuW-Agjx_9kXcMVaLuP3mwegXFVF0_MDbnrbbNHbm166yKGZSJdhnTlSqHoP-ydkgAW-9fjziV4xX1NUu95jiA"}}},"title":"Repository search results"}