Metadata-Version: 2.1
Name: dfainductor
Version: 0.1.3
Summary: A python tool for solving minDFA problem.
Home-page: https://github.com/ctlab/DFA-Inductor-py
Author: Ilya Zakirzyanov
Author-email: ilya.zakirzyanov@gmail.com
License: MIT
Platform: UNKNOWN
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: MIT License
Classifier: Natural Language :: English
Classifier: Natural Language :: Russian
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Classifier: Topic :: Scientific/Engineering :: Mathematics
Requires-Python: >=3.7
Description-Content-Type: text/markdown
Requires-Dist: python-sat
Requires-Dist: click
Provides-Extra: dev
Requires-Dist: pytest ; extra == 'dev'

# DFA-Inductor-py
A python tool for solving minDFA problem.

[![Build Status](https://travis-ci.org/ctlab/DFA-Inductor-py.svg?branch=master)](https://travis-ci.org/ctlab/DFA-Inductor-py)

## Requirements 

* python 3.7+
* [PySAT](https://github.com/pysathq/pysat)
* click

## Installation

You can install it via pip or [pipx](https://github.com/pipxproject/pipx).

```shell script
pip(x?) install dfainductor
```

## Usage

For a list of options check <b>`dfainductor --help`</b>.

TODO: add details

#### SAT solvers

All the work with SAT solvers is done by [PySAT toolkit](https://github.com/pysathq/pysat).

One can check the list of available options [here](https://pysathq.github.io/docs/html/api/solvers.html#pysat.solvers.SolverNames).

