py-aiger-sat

Pythonic interface between AIGs and SAT solvers.

Installation

sudo pip3 install py-aiger-sat

Should I use sudo? pip or pip3?

Releases

Version Released Stretch
Python 3.5
Buster
Python 3.7
Bullseye
Python 3.9
Files
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 2022-03-28 21:55:50 UTC