Description
Builds software that needs exact arithmetic, symbolic formulas, and logic operations. This is a C++ library used by developers and research tools, especially in areas such as automated reasoning, verification, and satisfiability solving.
Normal users do not open it as an app. Installing it makes the library available to programs or build systems that link against it, with no separate launcher or visible desktop interface.