{"payload":{"header_redesign_enabled":false,"results":[{"id":"707174258","archived":false,"color":"#f34b7d","followers":0,"has_funding_file":false,"hl_name":"IslamHamada/Minimize-Sat-Model","hl_trunc_description":"An Algorithm to Minimize The SAT Model Returned By a SAT Solver","language":"C++","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":707174258,"name":"Minimize-Sat-Model","owner_id":25283624,"owner_login":"IslamHamada","updated_at":"2024-04-08T15:02:30.660Z","has_issues":true}},"sponsorable":false,"topics":["minisat","maxsat","sat-solving","minimal-model"],"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":55,"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%253AIslamHamada%252FMinimize-Sat-Model%2B%2Blanguage%253AC%252B%252B","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/IslamHamada/Minimize-Sat-Model/star":{"post":"swosKBQxVUmbklyBqh0yOobO6-wSj4EOE-iancnoVR1AT2qzGwSbpYjSYaj8UrzchAt4q5cPDRY2kjt8o5D6mg"},"/IslamHamada/Minimize-Sat-Model/unstar":{"post":"_FSg0FU0OLzxiUQbDnEXOQKPoz1N8g_-zdFXWgDw948xjLXbfXmZypPESLKid6UjSJLte9Ey7AanAarJUkahLQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"nVAKeLz2GgioAVFHjOvcrP6rZ8yMdsJkHW0luYz_esIr1uQTgDYyKUNkSfmH0bxNgbsrabG47-pV_dVnsE_isg"}}},"title":"Repository search results"}