{"payload":{"header_redesign_enabled":false,"results":[{"id":"553030952","archived":false,"color":"#DA5B0B","followers":1,"has_funding_file":false,"hl_name":"lolloloschi97/Very-Large-Scale-Integration","hl_trunc_description":"Very Large Scale Integration solved using Costraint Programming and Minizinc","language":"Jupyter Notebook","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":553030952,"name":"Very-Large-Scale-Integration","owner_id":72491687,"owner_login":"lolloloschi97","updated_at":"2022-10-17T16:29:35.483Z","has_issues":true}},"sponsorable":false,"topics":["optimization","constraint-programming","z3-smt-solver","vlsi-project","minizinc-python"],"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":70,"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%253Alolloloschi97%252FVery-Large-Scale-Integration%2B%2Blanguage%253A%2522Jupyter%2BNotebook%2522","metadata":null,"csrf_tokens":{"/lolloloschi97/Very-Large-Scale-Integration/star":{"post":"BmnCHcIj1t3a3IQP6llMuZJ1gSPUzRN5afLmSnQ1pmW-ZR1gm9gQnOjCSIjRt-PzEKjSofuaJAtGDbSgh4a1Pg"},"/lolloloschi97/Very-Large-Scale-Integration/unstar":{"post":"1QH5ZX58i-Z7h_jaVWuCiMB01C-5AeUtfYs1rPPwGdDT1nB6frK127zA-OqqF0SPWZaiAOMSR1fxzFgG8GiUBw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"X8F1CkPCZp-ZaTrxbIhsFyc2Jgdg5upGS4M56EEc6uSb3EqhW12q-Gr55LJe9dEKRvnQvaKxCusEfGVv_WGESQ"}}},"title":"Repository search results"}