SMT-RAT  2.1.0
File List
Here is a list of all documented files with brief descriptions:
[detail level 12345]
 Common.hProvide useful type aliases, especially for the performance critical underlying coefficient types of polynomials, as well as enums and constants
 logging.hUse your own judgement for the following log levels: TRACE Finer-grained informational events than the DEBUG