https://kx.com/download/
Backtesting for pros according to http://quant.stackexchange.com/questions/74/are-there-any-good-tools-for-back-testing-options-strategies but when I downloaded it it produced a q.exe file and no documentation on where to go from there.