semvec/pypi-packages huggingface dataset:
dfainductor 0.1.3
A python tool for solving minDFA problem.
License: MIT
Requires Python: >=3.7

# 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).
primepastalib 1.2
Helps in deploying django files to heroku.
License: MIT
Keywords: django,heroku,deploy

Makes the necessary changes to your django files and deploys them to heroku.

Usage:

from primepastalib import herokuLogin, djangoDeploy

#projectName is the name of your django project, and appName is the name that you'd your heroku app to have.

#adds the required files and makes changes to the settings.py file, and deploys them to heroku. Make sure you're logged in. Heroku will choose a name for the app.

djangoDeploy('projectName')

#Does the same as above, except the name you pass will be used for the app.

djangoDeploy('projectName', 'appName')

#You can also login to heroku by running the following: (It is recommended that you log into the heroku CLI yourself.)

herokuLogin()