{"payload":{"header_redesign_enabled":false,"results":[{"id":"662623262","archived":false,"color":"#b07219","followers":2,"has_funding_file":false,"hl_name":"MatiasBrizzio/EstiMate","hl_trunc_description":"EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.","language":"Java","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":662623262,"name":"EstiMate","owner_id":26798059,"owner_login":"MatiasBrizzio","updated_at":"2024-05-17T10:21:29.223Z","has_issues":true}},"sponsorable":false,"topics":["automata","regex","matrix","logic","ltl","matrix-multiplication","formal-methods","regex-pattern","abc","sat-solver","regular-expressions","sat","owl-api","linear-temporal-logic","satisfiability","model-counting","tlsf","icse"],"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":86,"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%253AMatiasBrizzio%252FEstiMate%2B%2Blanguage%253AJava","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/MatiasBrizzio/EstiMate/star":{"post":"QtrTLxy8cOTkM6yNl3tXd_QKWIGadimJ11JyBIM3Epblg0KA4VliJK_tOA4hS16FalyvBlYcMKAnmzQ3KeWgqQ"},"/MatiasBrizzio/EstiMate/unstar":{"post":"Ouoi6gma8MVFMpDFTS9SEDud2WwH45R5rLzid7DuGY5-OGvV3ySn5G4UYWoq7TfnleDERxAAI3-kpzqtJujTVg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"xQ4z8afkppot7CpFlsjn0TiqPXOAiVw8edInXGWkksaY3ASTgMfx2gQ7MxFygQlmGtEeJn4v3nqnEzJm5t-jyA"}}},"title":"Repository search results"}