Olex2 (courtesy of OlexSys)
Basic introduction into solving and refining with Olex2 — an example where the assumed atom types in the formula turned out to be wrong.