Sample reasoning application meant to showcase the capabilities of the Laser++ engine.
- C++ compiler compliant with C++17 standard (tested on GCC 7.3.0 and Clang 6.0.0)
- CMake (minimum version: 3.7, tested on 3.10)
In the same root directory clone both STAR and Laser++.
Use the star.sh script to build STAR and run diferent programs. See samples.sh script for examples. You can find sample programs and streams in the samples directory.