rewrite minimize_dfa using the twa_graph interface
Currently the function already takes a twa_graph
as input, but for historical reason it still uses the slow twa
interface.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information