satuio
======

Using SAT solvers to construct UIOs and ADSs for Mealy machines.


## Dependencies

This project uses Python. It uses the following packages which can be
installed with `pip`.

* pysat
* tqdm
* rich


## Usage

(Note: this project is still WIP and the commands will change.)

```bash
#              <file>        <length>
python3 uio.py examples/esm-0.dot 3
```


## Copyright

© Joshua Moerman, Open Universiteit