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.