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

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.

• 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.
  • Nautrally, MinGW does not work. If you're using CLion on Windows, you'll need to use the Visual Studio toolchain in CLion.
• NMake seems to have problems. We recommend Ninja or Makefiles.

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>