OASIS

Open Algebra Software for Inferring Solutions is a C++ for embedding computer algebra and symbolic manipulation.

Building

The library is written in C++20 and is built with CMake. All dependencies are managed by CMake itself in an effort to be highly portable. As, such all you need is CMake and a modern C++ compiler.

Supported Compilers

• AppleClang ≥ 15
• Clang ≥ 15 (≥ 16 for Ubuntu)
• MSVC

(There is a bug in GCC that prevents the library from compiling, a fix is in the master branch of GCC but has not been released yet.)

Example Build Commands

Configure (Be sure to replace <your-preferred-build-folder> and <your-preferred-build-tool> with your preferred build folder and build tool respectively):

cmake -B <your-preferred-build-folder> -G <your-preferred-build-tool> .

Build:

cmake --build <your-preferred-build-folder>