z3-solver>=4.8.5.0

[develop]
gymnasium>=0.28.1
stable-baselines3>=2.0.0
Sphinx>=5.3.0
sphinx-rtd-theme>=1.2.1
graphviz>=0.20.1
pygame>=2.1.2

[gym]
gymnasium>=0.28.1
stable-baselines3>=2.0.0
