search

inpefess / gym-saturation

a collection of Gymnasium environments for saturation provers
Apache License 2.0
19 stars 2 forks source link

Drop Python 3.8 support #124

Open inpefess opened 4 weeks ago

inpefess commented 4 weeks ago

Python 3.8 reached its end-of-life on 2024-10-07 https://devguide.python.org/versions/