Closes #310 documentation updated to define macros before include or in compiler option
Closes #310 documentation updated to define macros before include or in compiler option

dreal-deps/easyloggingpp,dreal-deps/easyloggingpp,dreal-deps/easyloggingpp