bdd2dfa

Python library for converting binary decision diagrams to automata.

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install bdd2dfa

Dependencies

Releases

Version Released Bookworm
Python 3.11
Trixie
Python 3.13
Files
1.0.10 2022-11-03
1.0.9 2021-11-17
1.0.8 2021-06-07
1.0.7 2021-06-07
1.0.5 2021-06-07
1.0.4 2021-03-09
1.0.3 2020-11-12
1.0.2 2020-09-17
1.0.0 2020-09-17
0.4.1 2020-04-08
0.4.0 2020-04-07
0.3.2 2020-03-27
0.3.1 2020-03-27
0.3.0 2020-03-25
0.2.3 2020-02-27
0.2.2 2020-02-27
0.2.1 2020-02-27
0.2.0 2020-02-27
0.1.0 2020-02-27

Issues with this package?

Page last updated 2026-09-03 09:54:02 UTC