{"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":63,"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":"5D6ITPoEw40bt-jezkvgtxsEL2TF2ajuDfy893iWoc9Jyvi0g6UBRXzf6HMNHc1pz6QywiZG3iaFwiPYzlrFug"},"/Jakob-Bach/Solver-Demo/unstar":{"post":"HhdSxiBgt-srkKxYjSOYmXPNs_Wp7j7iGcr2mWHCpKhSZCHYH2wEgfFNJvo14x2m2-zuG3vsapAqFKwT97U2eQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"0rek5X7MUoEvFJx5CfmuOdPSGas9TytOZf8kMXEPWOI8K1JKqu6oxlR0jHwOt7RH6neIrK8zXs9soeCoJkPF_g"}}},"title":"Repository search results"}