SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
IntTypes.h File Reference
#include <stdint.h>
#include <inttypes.h>
#include <limits.h>
Include dependency graph for IntTypes.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define __STDC_LIMIT_MACROS
 

Macro Definition Documentation

◆ __STDC_LIMIT_MACROS

#define __STDC_LIMIT_MACROS

Definition at line 23 of file IntTypes.h.