Minor fixes

README.md

@@ -6,12 +6,12 @@ Python infrastructure to train paths selectors for symbolic execution engines.
 
 
 This repository contains submodules, so use the following command to get sources locally. 
-```
-git clone --recurse-submodules https://github.com/gsvgit/PySymGym.git
+```sh
+git submodule update --init --recursive
 ```
 
 Build .net game server (V#)
-```
+```sh
 cd GameServers/VSharp
 dotnet build -c Release
 ```
@@ -36,6 +36,6 @@ Then follow installation instructions provided on [torch](https://pytorch.org/ge
 ## Linting tools
 
 Install [black](https://github.com/psf/black) code formatter by running following command in repo root to check your codestyle before committing:
-```bash
+```sh
 pip install pre-commit && pre-commit install
 ```

requirements.txt

@@ -1,11 +1,13 @@
 aiohttp==3.9.1
 aiosignal==1.3.1
+alembic==1.13.1
 attrs==23.2.0
 certifi==2023.11.17
 cfgv==3.4.0
 charset-normalizer==3.3.2
 cloudpickle==3.0.0
 coloredlogs==15.0.1
+colorlog==6.8.0
 contourpy==1.2.0
 cycler==0.12.1
 dataclasses-json==0.6.3
@@ -20,9 +22,11 @@ httplib2==0.22.0
 humanfriendly==10.0
 identify==2.5.33
 idna==3.6
+iniconfig==2.0.0
 Jinja2==3.1.3
 joblib==1.3.2
 kiwisolver==1.4.5
+Mako==1.3.0
 MarkupSafe==2.1.3
 marshmallow==3.20.2
 matplotlib==3.8.2
@@ -34,22 +38,26 @@ nodeenv==1.8.0
 numpy==1.26.3
 onnx==1.15.0
 onnxruntime==1.16.3
+optuna==3.5.0
 packaging==23.2
 pandas==2.1.4
 pillow==10.2.0
 platformdirs==4.1.0
+pluggy==1.3.0
 pre-commit==3.6.0
 protobuf==4.25.2
 psutil==5.9.7
 pygad==3.2.0
 pyparsing==3.1.1
+pytest==7.4.4
 python-dateutil==2.8.2
 pytz==2023.3.post1
 PyYAML==6.0.1
 requests==2.31.0
 scikit-learn==1.4.0
 scipy==1.11.4
 six==1.16.0
+SQLAlchemy==2.0.25
 sympy==1.12
 threadpoolctl==3.2.0
 torch==2.1.2