Implemented the Symengine backend, added new benchmark script

.github/workflows/main.yml

@@ -18,7 +18,7 @@ jobs:
       - uses: actions/checkout@v3
       - uses: actions/setup-python@v3
         with:
-          python-version: 3.9
+          python-version: 3.11
       - name: Set up Poetry cache for Python dependencies
         uses: actions/cache@v3
         if: startsWith(runner.os, 'Linux')
@@ -47,11 +47,11 @@ jobs:
         run: make mypy
       - name: Run unit tests
         run: make ARGS="--exitfirst" test
-      - name: Build docs
-        run: make docs
-      - name: Deploy docs
-        if: github.ref == 'refs/heads/master'
-        uses: JamesIves/[email protected]
-        with:
-          branch: gh-pages
-          folder: docs/build/html
+#      - name: Build docs
+#        run: make docs
+#      - name: Deploy docs
+#        if: github.ref == 'refs/heads/master'
+#        uses: JamesIves/[email protected]
+#        with:
+#          branch: gh-pages
+#          folder: docs/build/html

.gitignore

@@ -137,3 +137,9 @@ dmypy.json
 
 # Poetry
 poetry.lock
+
+# Benchmark script
+*.csv
+*.txt
+*.md
+!README.md

README.md

@@ -31,17 +31,17 @@ If you run into trouble during installation, this subsection might be of help. I
   - `CMake`
   - `pkg-config`
   - `build-essential` (includes `make`, `g++`, `gcc`, and more)
-  - `python3-dev` (called `python3-devel` on some other package managers such as `yam`)
+  - `python3-dev` (called `python3-devel` on some other package managers such as `yam`) 
 
 ## Basic Usage
 ### CLI
 
-5. In the project directory, type ``poetry shell``. This activates the freshly installed virtual environment.
-6. Now, you can use prodigy by executing the script via `python prodigy/cli.py ...`. For more information, see the help message or have a look into the documentation.
+1. In the project directory, type ``poetry shell``. This activates the freshly installed virtual environment.
+2. Now, you can use prodigy by executing the script via `python prodigy/cli.py ...`. For more information, see the help message or have a look into the documentation.
 
 
 ### Webservice
-5. Activate the cvirtual environment by ``poetry shell``.
-6. Type ``web-service``.
-7. Open a browser and locate `localhost:8080`.
+1. Activate the virtual environment by ``poetry shell``.
+2. Type ``web-service``.
+3. Open a browser and locate `localhost:8080`.