Support NumPy 2.0.0+ - Githubissues

inpefess / gym-saturation

a collection of Gymnasium environments for saturation provers

Apache License 2.0

19 stars 2 forks source link

Open inpefess opened 4 weeks ago

inpefess commented 4 weeks ago

It was released on 2024-06-16 https://github.com/numpy/numpy/releases/tag/v2.0.0 and there are API changes we don't support yet