Hello and welcome to kipro2's Docker container.
The artifact's main code is in /root/artifact. ---> cd /root/artifact
Main documentation and quick start for kipro2: ---> nano /root/artifact/README.md
For a more convenient version of the README indicated above, please consider the README of our GitHub repository: https://github.com/moves-rwth/kipro2
This Docker image contains the kipro2 code and tools to generate benchmark tables, as well as the paper's PDF file in /root/latticed_k_induction_cav21.pdf .
We have installed nano and vim.
Since this image is based on Ubuntu, you can install your own software with apt-get update && apt-get install [PACKAGES].