SymboliCore
SymboliCore is a library for basic symbolic operations, namely expressions, constraints and their evaluation.
Building
To build the library from sources in a clean way, it is preferable that you set up a build subdirectory, say:
$ mkdir build && cd build
Then you can prepare the build environment, choosing a Release build for maximum performance:
$ cmake .. -DCMAKE_BUILD_TYPE=Release
At this point, if no error arises, you can build with:
$ cmake --build .
The library is meant to be used as a dependency, in particular by disabling testing as long as the tests target is already defined in an enclosing project.
Contribution guidelines
If you would like to contribute to SymboliCore, please contact the developer:
- Luca Geretti luca.geretti@univr.it