py-aiger-bv

A python library for manipulating sequential and-inverter gates.

Installation

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

pip3 install py-aiger-bv

Dependencies

Releases

Version Released Bookworm
Python 3.11
Trixie
Python 3.13
Files
4.7.8 2024-12-21    
4.7.7 2024-03-16    
4.7.6 2023-04-23
4.7.5 2022-11-03
4.7.4 2021-11-23
4.7.3 2021-11-16
4.7.2 2021-06-07
4.7.1 2021-05-13
4.7.0 2021-05-05
4.6.1 2021-03-23
4.6.0 2021-03-23
4.5.3 2021-02-11
4.5.2 2020-12-21
4.5.1 2020-11-05
4.5.0 2020-11-05
4.4.0 2020-10-15
4.3.3 2020-10-14
4.3.2 2020-09-12
4.3.1 2020-09-02
4.3.0 2020-09-02
4.2.1 2020-05-22
4.2.0 2020-05-21
4.1.0 2020-05-21
4.0.0 2020-05-17
3.0.0 2020-05-10
2.1.1 2020-05-06
2.1.0 2020-04-20
2.0.0 2020-03-14
1.4.0 2020-01-28
1.3.4 2019-11-26
1.3.3 2019-11-25
1.3.2 2019-11-25
1.3.1 2019-11-25
1.3.0 2019-11-25
1.2.1 2019-11-07
1.2.0 2019-11-07
1.1.0 2019-11-07
1.0.6 2019-11-06
1.0.5 2019-11-05
1.0.4 2019-11-05
1.0.3 2019-11-05
1.0.2 2019-11-05
1.0.1 2019-10-21
0.7.1 2019-10-21
0.7.0 2019-10-21
0.5.7 2019-10-15
0.5.6 2019-07-24
0.5.5 2019-07-18
0.5.4 2019-07-15
0.5.3 2019-07-12
0.5.1 2019-03-07
0.5.0 2019-03-06
0.4.3 2019-03-05
0.4.2 2019-03-05
0.4.1 2019-03-04
0.4.0 2019-03-04
0.3.0 2019-02-22
0.2.1 2018-09-03
0.1.0 2018-08-27
0.0.1 2018-08-05

Issues with this package?

Page last updated 2026-09-03 04:52:46 UTC