Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
src
utils
NumericConstants.hpp
1
#ifndef NUMERIC_CONSTANTS_H
2
#define NUMERIC_CONSTANTS_H
3
4
#include <cstdint>
5
18
constexpr
std::int64_t MILLION = INT64_C(1000000);
19
23
constexpr
std::int64_t BILLION = INT64_C(1000000000);
24
28
constexpr
std::int64_t TRILLION = INT64_C(1000000000000);
29
30
#endif
// NUMERIC_CONSTANTS_H
Generated by
1.12.0 Doxygen Theme by
doxygen-awesome