py-aiger-dfa
Library for moving between sequential circuits AIGs and DFAs.
Activity
- Latest release
- 2y ago
- Total releases
- 14
- Cadence
- ~8 days
- Last 12 months
- 0
Details
- License
- MIT
- First release
- Jul 15, 2019
Releases
| Version | Released | |
|---|---|---|
0.4.4
patch
| ||
0.4.3
patch
| ||
0.4.2
patch
| ||
0.4.1
patch
| ||
0.4.0
minor
| ||
0.3.3
patch
| ||
0.3.2
patch
| ||
0.3.1
patch
| ||
0.3.0
minor
| ||
0.2.0
minor
| ||
0.1.3
patch
| ||
0.1.2
patch
| ||
0.1.1
patch
| ||
0.1.0
initial
|