Software Open Access

mvcisback/py-aiger: v2.0.0

Marcell Vazquez-Chanlatte; Markus N. Rabe

pyAiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).

Files (26.2 kB)
Name Size
mvcisback/py-aiger-v2.0.0.zip
md5:5638056e303df86a7b0fb97da6d9491e 		26.2 kB Download
202
54
views
downloads
All versions This version
Views 202153
Downloads 5435
Data volume 1.4 MB918.4 kB
Unique views 179148
Unique downloads 4032
More info on how stats are collected.
Available in Indexed in
Publication date:
August 29, 2018
DOI:
10.5281/zenodo.1405781

Zenodo DOI Badge

DOI 

10.5281/zenodo.1405781

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.1405781.svg)](https://doi.org/10.5281/zenodo.1405781)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.1405781.svg
   :target: https://doi.org/10.5281/zenodo.1405781

HTML 

<a href="https://doi.org/10.5281/zenodo.1405781"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.1405781.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.1405781.svg

Target URL 

https://doi.org/10.5281/zenodo.1405781

Related identifiers:
Supplement to
License (for files):
MIT License

Versions

Version v2.0.0 10.5281/zenodo.1405781 Aug 29, 2018
Version v1.0.0 10.5281/zenodo.1342134 Aug 9, 2018
Version 0.5.0 10.5281/zenodo.1326225 Aug 2, 2018
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.1326224. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export