LogicToolbox 1. Building LogicToolbox Run commands: $ mkdir -p build/Release $ cd build/Release $ cmake ../.. $ make 2. Building docs Run command: $ make doc 3. Building tests Run command: $ make check