Closed rw1nkler closed 1 year ago
Pin the python-sat version to 0.1.7.dev19 to resolve problems with preparing a working environment in the CI.
Pin the python-sat version to 0.1.7.dev19 to resolve problems with preparing a working environment in the CI.