DFA-Inductor-py
A python tool for solving minDFA problem.
Requirements
- python 3.7+
- PySAT
- click
Installation
You can install it via pip or pipx.
pip(x?) install dfainductor
Usage
For a list of options check dfainductor --help
.
TODO: add details
SAT solvers
All the work with SAT solvers is done by PySAT toolkit.
One can check the list of available options here.