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