DFA-Inductor-py

A python tool for solving minDFA problem.

Requirements

You can install it via pip or pipx.

pip(x?) install dfainductor

For a list of options check dfainductor --help.

TODO: add details

All the work with SAT solvers is done by PySAT toolkit.

One can check the list of available options here.