This repository contains the source code for the ProvideQ Toolbox server. A web-based user interface can be found in our ProvideQ/ProvideQ repository.
- Install Java 17 or newer (check with
java -version
) - Clone this repository
- [Optional, Solver Installation - install the Solvers that you want/need]
- Python-based Solvers (Qiskit, Cirq, Dwave, Qrisp)
- Install Python
- Install Python dependencies by running
python scripts/install-python-dependencies.py
Alternatively, runpip install -r requirements.txt
on all requirement.txt files in the /solvers directory.
- Compiled Solvers (e.g. used for VRP and TSP)
- Solvers implemented in compiled languages must be executed via binaries that are compiled for your operating system. For those types of solvers we usually include pre-compiled binaries for windows, mac (only arm), and unix.
- General Note: Solvers might be programmed in different languages. E.g., LKH-3 is implemented in C. Make sure that the solver-specific language is installed on your system.
- In case the pre-compiled versions do not work on your machine: re-compile them:
- LKH-3:
- Build LKH-3 using the offical guide: http://webhotel4.ruc.dk/~keld/research/LKH-3/
- Put the build binary in
solvers/lkh/bin
, replace the binary that matches your OS.
- VRP-Pipeline (used for K-means, Two Phase Clustering, VRP to QUBO convertion):
- Install Rust: https://www.rust-lang.org/tools/install
- Install a specific Rust nightly build (needed cause the solver uses experimental features):
rustup install nightly-2023-07-01
- Check how the nightly build is called on your machine (this is shown when running the install command, on Mac it is called nightly-2023-07-01-aarch64-apple-darwin)
- Set the nightly build as default:
rustup default nightly-2023-07-01(... specific version name on machine)
- Download source code of the VRP-Pipeline: https://github.com/ProvideQ/hybrid-vrp-solver
- build the source code using
cargo build
- Put the build binary in
solvers/berger-vrp/bin
, replace the binary that matches your OS.
- GAMS (multiple solvers are build on this):
- Install a python env that works with GAMS (skip this step if you don't need GAMS)
- Install GAMS. (https://www.gams.com/download/)
- Install miniconda (or anaconda, if you prefer that): https://conda.io/projects/conda/en/stable/user-guide/install/index.html
- Create a GAMS conda environment:
conda create --name gams python=3.10 --yes
- Activate your conda environment:
conda activate gams
. - Make GAMS use that python environment by setting the
GMSPYTHONLIB=<path-to-conda>/envs/gams/lib/libpython3.10.so
environment variable. - Install GAMS packages to the GAMS conda env:
pip install gams[core,connect] --find-links <path-to-gams>/api/python/bdist
- If you get an error building
psycopg2
, try to install these postgres packages:sudo apt-get install postgresql libpq-dev
and run thepip install ...
command again
- If you get an error building
- Install the python dependencies we use in our python packages:
pip install -r gams/requirements.txt
- Python-based Solvers (Qiskit, Cirq, Dwave, Qrisp)
- Run the server using
./gradlew bootRun
This repository is designed to be deployed with Dokku, but you can also run
the Java application directly or inside a docker container (Dockerfile
is included!).
The docker container can be built and run as follows:
# we assume that you have a gamslice.txt file in this directory containing a valid GAMS license (typically 6 lines)
docker build --tag provideq-toolbox-backend --build-arg GAMS_LICENSE=$(base64 --wrap=0 ./gamslice.txt) .
docker run --publish 8080:5000 provideq-toolbox-backend
- Create a release branch from develop:
git checkout -b release/x.y.z
. - Bump the version number in the
build.gradle
file to the new version number and commit it to the release branch. - Push to GitHub and create a pull request to merge the release branch into
main
. - Make sure to test your new version!
- Write a changelog.
The PR can help you identify differences between the last release (
main
) and the next one (your release branch). - Merge the PR into main.
- Create a new GitHub release with a new tag named like your
version number
x.y.z
and use the changelog as the description. - Pull the main branch (
git checkout main && git pull
), merge it into the develop branch (git checkout develop && git pull && git merge main
) and push it (git push
).
We're using GitHub Actions to automate the execution of our validation tools and the deployment of our software. To use this, enable GitHub Actions and configure the following secrets in the GitHub repository settings:
GAMS_LICENSE
:- Get a license for GAMS and put it in a
gamslice.txt
file. A free demo or community license should be sufficient. - Convert the license text to base64 using this command:
base64 --wrap=0 ./gamslice.txt
- Copy the printed base64 string to the
GAMS_LICENSE
secret in your GitHub repository.
- Get a license for GAMS and put it in a
DOKKU_SERVER_ADDRESS
:-
Install Dokku on your deployment server. Make sure it can be reached from GitHub Actions!
-
Set the
DOKKU_SERVER_ADDRESS
secret to the address of your server.Tip: If you use an IP address, the IP address will be obfuscated in the Actions logs. Counterintuitively, using a domain name as an address might leak your IP address due to SSH address resolution logs.
-
DOKKU_DEPLOYMENT_KEY
:- Generate an ssh key and register it as a dokku user.
- Make sure this user has push access the
toolbox-frontend
,toolbox-backend
,toolbox-frontend-staging
andtoolbox-backend-staging
apps. - Set
DOKKU_DEPLOYMENT_KEY
to the private key generated in step i.
Copyright (c) 2022 - 2023 ProvideQ
This project is available under the MIT License.