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

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