{"payload":{"header_redesign_enabled":false,"results":[{"id":"263695478","archived":false,"color":"#3572A5","followers":6,"has_funding_file":false,"hl_name":"CLC-UIowa/SySLite","hl_trunc_description":"SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces","language":"Python","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":263695478,"name":"SySLite","owner_id":65043288,"owner_login":"CLC-UIowa","updated_at":"2022-05-05T23:02:00.913Z","has_issues":true}},"sponsorable":false,"topics":["monitoring","learning-algorithm","z3","synthesis","sat-solver","smt-lib","cvc4","security-tools","sygus","ltl-formulas","pltl"],"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":139,"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%253ACLC-UIowa%252FSySLite%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/CLC-UIowa/SySLite/star":{"post":"FwDM0cWuORGMq6SWd3VJNvUdtdUK_dLFz0Xn1R42FRq2-DG54TqN2I4hrtxdbs63erm0rbkKd69DMz-PIScXbg"},"/CLC-UIowa/SySLite/unstar":{"post":"lo9iiJk1V8aD-CnsMSV9g9O-tmFM0rdOaX4g1Zu6oR7bHv_Sl3YyAjBerkSYedasqVbEZ1Z3NTzkF0zKwqjpCw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"EBOMSSqFsGU0TceREAua-KhWvfyFng8a8MhM7hX4MZeyVqzmX94trd82RQ5XfnuIiAY_kx5c-Hb8BvAGZflOaw"}}},"title":"Repository search results"}