All commands below should be executed in a Linux terminal. For instance, in Ubuntu to open a terminal click in activities and then type terminal.
The following software are assumed to be installed on your machine:
1- A C++20 compiler (tested with GCC/11.2.0, should also work with any later version)
2- CMake/3.0.0 or a later version
Clone from GitHub:
git clone https://github.com/AutoProving/TreeWidzard-Engine
Move into the TreeWidzard directory:
cd TreeWidzard-Engine
Configure build directory using CMake (here with the build directory named Build):
cmake -BBuild
Compile the program:
cmake --build Build
Download any changes to the bundling code itself:
git pull
For recompiling, run this again:
cmake --build Build
To print usage:
./Build/treewidzard --help