search

inpefess / gym-saturation

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

Use pytest-regressions #74

Open inpefess opened 2 years ago

inpefess commented 2 years ago

Might be nice to have