Recent Releases of py-aiger

py-aiger - v6.2.0

v6.2.0 (2023-01-14)

Bug Fixes

  • Parser no longer (implictly) assumed ordered inputs/outputs. (fbfbf752)
  • parser: Allow empty comments and symbol table. (241a6000)

Features

  • parser: Support for parsing binary AIG files. (465c96a5)

New Contributors

  • @sjunges made their first contribution in https://github.com/mvcisback/py-aiger/pull/123
  • @osankur made their first contribution in https://github.com/mvcisback/py-aiger/pull/127
  • @masinag made their first contribution in https://github.com/mvcisback/py-aiger/pull/130

Full Changelog: https://github.com/mvcisback/py-aiger/compare/v6.1.2...v6.2.0

- Python
Published by mvcisback about 3 years ago

py-aiger - v6.1.2

- Python
Published by mvcisback over 5 years ago

py-aiger - v2.0.0

- Python
Published by mvcisback over 7 years ago

py-aiger - v1.0.0

- Python
Published by mvcisback over 7 years ago

py-aiger - Alpha

- Python
Published by mvcisback over 7 years ago