sat-solver/buildtypes/release.txt

12 lines
81 B
Text

-O3
-std=c++20
-I .
-D RELEASE_BUILD
-Wall -Werror -Wextra -Wfatal-errors