py-aiger-sat

Pythonic interface between AIGs and SAT solvers.

Installation

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

pip3 install py-aiger-sat

Releases

Version Released Bullseye
Python 3.9
Bookworm
Python 3.11
Files
3.0.7 2024-03-16    
3.0.6 2022-11-03  
3.0.5 2021-11-16  
3.0.4 2020-09-30  
3.0.3 2020-09-12  
3.0.2 2020-09-12  
3.0.1 2020-08-05  
3.0.0 2020-05-18  
2.0.2 2020-05-17  
2.0.1 2020-05-17  
2.0.0 2020-05-17  
1.1.0 2020-03-24  
1.0.1 2019-10-29  
1.0.0 2019-10-22  
0.1.1 2019-07-24  
0.1.0 2019-07-24  

Issues with this package?

Page last updated 2025-06-27 21:50:59 UTC