ecc4bdf11a2144f37e20631c17f3d58132499398
Compiler may warn if MAX_SIZE value overflows by itself but this checks gives a more verbose warning
Description
The framework code, fork for KSat.
Languages
C++
96.7%
CMake
1.5%
C
0.8%
Python
0.5%
Shell
0.3%
Other
0.1%