search

inpefess / gym-saturation

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

Add Python 3.10 support #34

Closed inpefess closed 2 years ago

inpefess commented 3 years ago

As soon as numpy supports Python 3.10