{"payload":{"header_redesign_enabled":false,"results":[{"id":"279773133","archived":false,"color":"#3572A5","followers":2,"has_funding_file":false,"hl_name":"Jakob-Bach/Solver-Demo","hl_trunc_description":"Demonstration of some MIP/SAT/SMT solvers/optimizers in multiple programming languages.","language":"Python","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":279773133,"name":"Solver-Demo","owner_id":6431179,"owner_login":"Jakob-Bach","updated_at":"2024-07-19T11:46:11.935Z","has_issues":true}},"sponsorable":false,"topics":["z3","sat-solver","smt-solver","solvers","mip","or-tools"],"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":50,"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%253AJakob-Bach%252FSolver-Demo%2B%2Blanguage%253APython","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/Jakob-Bach/Solver-Demo/star":{"post":"lMX_vnMZDOrsjXFoDP6irXJn0PO1LM5kUbbvJoPGubuGOa7y0343VNEgGCZUqFhE2gnaoQYza4RGIjHRmIaCJQ"},"/Jakob-Bach/Solver-Demo/unstar":{"post":"l5IO8bir8fCUv_q1nGe71fowNviAOj1Pd02W5C7Xn5kNgNjpHW-BV9m4JWzelsm_DpfZ0l1ILtadZL8aFsEhmg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"JpAHcLOSS7z0HbB2IN76H8TdJFDenejM4ZyfxKuMqSpXUQTqXDWz5Z8Srp3zw0RU-qWYBjLXLJ3n3OKyEC9ilw"}}},"title":"Repository search results"}