Deployment¶
Klever does not support standard deployment means because it consists of several components that may require complicating setup, e.g. configuring and running a web service with a database access, running system services that perform some preliminary actions with superuser rights, etc. Also, Klever will likely always require several specific addons that can not be deployed in a normal way. Please, be ready to spend quite much time if you follow this instruction first time.
Hardware Requirements¶
We recommend following hardware to run Klever:
- 64-bit CPU with 4 cores
- 16 GB of memory
- 100 GB of free disk space
Increasing specified hardware characteristics in 2-4 times can reduce total verification time very considerably. If you are going to run Klever non-locally, hosts at which you will deploy Klever can have much less hardware characteristics.
Software Requirements¶
Deployment scripts most likely operate at any quite new Linux distribution.
Deployment Variants¶
There are several variants for deploying Klever: