search

inpefess / gym-saturation

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

Add tutorials #101

Closed inpefess closed 1 year ago

inpefess commented 1 year ago

Ideally, in the Gymnasium format: https://gymnasium.farama.org/tutorials/training_agents/blackjack_tutorial/