joshua/satuio
1
Fork 0
mirror of https://github.com/Jaxan/satuio.git synced 2025-04-27 14:47:46 +02:00
Code Issues Releases Activity

updated README

Browse source
This commit is contained in:
Joshua Moerman 2022-01-19 14:15:01 +01:00
parent 5c06069bc7
commit 0d074cbf65
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
README.md
View file

@ -22,6 +22,9 @@ flags and options are subject to change, since this is WIP.
```bash ```bash
# Finding UIO sequences in a Mealy machine # Finding UIO sequences in a Mealy machine
python3 satuio/uio.py --help python3 satuio/uio.py --help
# Finding an ADS in a Mealy machine for a set of states
python3 satuio/ads.py --help
``` ```
The solver can be specified (as long as pysat supports it). The default is The solver can be specified (as long as pysat supports it). The default is