search

mvcisback / py-aiger-bv

pyAiger-BV: Extension of pyAiger for manipulating sequential bitvector circuits.
MIT License
2 stars 2 forks source link

dd < 0.6 requirement #26

Closed kopeckyf closed 7 months ago

kopeckyf commented 7 months ago

Hi @mvcisback and thank you very much for releasing this useful package!

The install instructions for this package and for your py-mdd package currently require dd < 0.6. Could these be updated to allow for the current dd 0.6?

The changelog for dd 0.6 is available here. It does not seem to me that it introduces breaking changes. It now asks for Python 3.11 or above, though.

Best wishes! Felix

mvcisback commented 7 months ago

Sure. I'll look into bumping the dependencies soon.

mvcisback commented 7 months ago

@kopeckyf sorry I didn't catch this earlier, but this is py-aiger-bv.

I assume you meant to open up an issue on https://github.com/mvcisback/py-aiger-bdd

mvcisback commented 7 months ago

Assuming that's what you meant, the version is now updated in py-aiger-bdd version 3.1.3