metaSMT git

metaSMT

Installation

Please see the current README distributed with metaSMT for instructions on how to build and install metaSMT.

How metaSMT is structured

metaSMT is structured in several basic components. An overview is given on the Modules page.

metaSMT leaves the control at the programmer, you can decide which features and which backend (solver) to use.

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines