{"payload":{"header_redesign_enabled":false,"results":[{"id":"107591624","archived":false,"color":"#3572A5","followers":4,"has_funding_file":false,"hl_name":"MarkusRabe/smtlib2qdimacs","hl_trunc_description":"A translator from SMTLIB2 to QDIMACS. Restricted to the bitvector theory and still incomplete. ","language":"Python","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":107591624,"name":"smtlib2qdimacs","owner_id":8495990,"owner_login":"MarkusRabe","updated_at":"2017-10-19T20:13:01.428Z","has_issues":true}},"sponsorable":false,"topics":[],"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":60,"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%253AMarkusRabe%252Fsmtlib2qdimacs%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/MarkusRabe/smtlib2qdimacs/star":{"post":"6LIZW3nw4lAl3Ft43BeRvfo1O8Zzp5Q-TlBf1ePqpHrJo9zQbLzPhIteDwDnYSfUJ1Yb2uEjKE-PUXDS37dO9w"},"/MarkusRabe/smtlib2qdimacs/unstar":{"post":"1K1BESf2wV0CzpmMaM6gDnQMEOVG5ppY1tz9hnpv9InT95WP1Z_1at5yuBAmix0o9WavE3ZZ1hQXvmrbdrH4dA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"JHfEllW3ySv-WUa0CSE0O45zOhHqdpQG8kztqTGpcJsEkO9Jw6kThZ7yQQhZIisBvdLF8o73AhlhWDot9SDqkQ"}}},"title":"Repository search results"}