A python tool for solving minDFA problem.
Project description
# 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
Need to be installed manually:
python 3.7+
[PySAT](https://github.com/pysathq/pysat)
click
## Installation
Clone the repository and install it via pip, pipx (recommended), or pipenv:
`shell script pip install . pipx install . pipenv install `
## 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).
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distributions
Built Distribution
Hashes for dfainductor-0.1.0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9c85e97df9d23bc0932094ff45a4a2485d397a06dbea7b9fa9fa2ebab14aefb0 |
|
MD5 | 1123ec6bedbff6aff82886515782cd51 |
|
BLAKE2b-256 | aa8dc2843cec08b5f5b9437b453357f4cf794a5033c59014b8f629e538220899 |