implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019 - View it on GitHub