{"id":"1602.05028","title":"Symmetry Breaking Predicates for SAT-based DFA Identification","url":"https://codeofpaper.com/paper/1602.05028","arxiv_url":"https://arxiv.org/abs/1602.05028","published":"2016-02-16","code":"official","best":{"full_name":"ctlab/DFA-Inductor","url":"https://github.com/ctlab/DFA-Inductor","tier":"official","stars":6,"license":null,"framework":null,"language":"Java","last_commit":"2016-06-06T16:02:32"},"most_starred_community":null,"implementations":[{"full_name":"ctlab/DFA-Inductor","url":"https://github.com/ctlab/DFA-Inductor","tier":"official","stars":6,"license":null,"framework":null,"language":"Java","last_commit":"2016-06-06T16:02:32"}],"possible_matches":0}