cnfgen==0.9.2
datasets==2.18.0
gymnasium==0.29.1
matplotlib==3.8.0
python-sat==0.1.8.dev9
qiskit==0.44.2
seaborn==0.13.0
tensorboard==2.14.1
tokenizers==0.15.2
torch==2.0.0
torch_geometric==2.3.1
torch-tb-profiler==0.4.3
transformers[torch]==4.38.2
z3-solver==4.11.0.0

-e .