Computer/Program Analysis
z3 windows 64 bit build
holycall
2016. 11. 3. 11:30
Build with VS2015 x64 Native Tools Command Prompt.
With 32bit Command Prompt, it fill fail with '... '_InterlockedIncrement64': identifier not found... ' errors.