File tree Expand file tree Collapse file tree 1 file changed +1
-2
lines changed
Expand file tree Collapse file tree 1 file changed +1
-2
lines changed Original file line number Diff line number Diff line change 1111[ ![ Build Status] ( https://cloud.drone.io/api/badges/mvcisback/py-aiger/status.svg )] ( https://cloud.drone.io/mvcisback/py-aiger )
1212[ ![ codecov] ( https://codecov.io/gh/mvcisback/py-aiger/branch/master/graph/badge.svg )] ( https://codecov.io/gh/mvcisback/py-aiger )
1313[ ![ Updates] ( https://pyup.io/repos/github/mvcisback/py-aiger/shield.svg )] ( https://pyup.io/repos/github/mvcisback/py-aiger/ )
14-
1514[ ![ PyPI version] ( https://badge.fury.io/py/py-aiger.svg )] ( https://badge.fury.io/py/py-aiger )
1615[ ![ License: MIT] ( https://img.shields.io/badge/License-MIT-yellow.svg )] ( https://opensource.org/licenses/MIT )
1716[ ![ DOI] ( https://zenodo.org/badge/DOI/10.5281/zenodo.1405781.svg )] ( https://doi.org/10.5281/zenodo.1405781 )
@@ -250,7 +249,7 @@ aiger.to_aig(aig1)
250249- [ py-aiger-abc] ( https://pypi.org/project/py-aiger-abc/ ) : Aiger and abc bridge.
251250
252251# Related Projects
253- - [ pyAig] ( https://bitbucket.org /sterin/pyaig ) : Another python library
252+ - [ pyAig] ( https://github.com /sterin/pyaig ) : Another python library
254253 for working with AIGER circuits.
255254
256255
You can’t perform that action at this time.
0 commit comments