|
smats
0.0.1
Satisfability Modulo Arithmetic Theories Symbols
|
Public Types | |
typedef uint64_t | rep |
typedef std::micro | period |
typedef std::chrono::duration< rep, period > | duration |
typedef std::chrono::time_point< user_clock > | time_point |
Static Public Member Functions | |
static time_point | now () |
Public Attributes | |
const bool | is_steady = false |