Weapon of Mutant Detection (WMD) is useful in the design of restriction digest assays.
It compares a reference and mutant sequence vs the REBASE enzyme database using RESTRICT and then lists enzymes (including isoschizomers) that cut the sequences in a discriminative manner.
See an example set of data to use in this form.