Solves the Inversion / Transposition / Transversion edit distance problem optimally in the MiniZinc constraint satisfaction language