Added binary realizability check tool.