As previously mentioned in issue #7, dependencies are locked to certain version in order to make sure
they don't break during development. However, it is important to regularly update them and to keep them up to date.
The model counter Ganak and its dependencies, have recently gone up in version with
certain API breaking changes. d4v2 is currently stable and pysdd won't receive any updates in the near future.
As previously mentioned in issue #7, dependencies are locked to certain version in order to make sure
they don't break during development. However, it is important to regularly update them and to keep them up to date.
The model counter Ganak and its dependencies, have recently gone up in version with
certain API breaking changes. d4v2 is currently stable and pysdd won't receive any updates in the near future.