/DFA-Inductor-py

A python tool for solving minDFA problem.

Primary LanguagePythonMIT LicenseMIT

DFA-Inductor-py

A python tool for solving minDFA problem.

Build Status

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.