A Perl program
written by John Miller
based on a pattern found by Roy O. Davies that
generates a single Langford sequence (for large n).
Counting the number of sequences is likely
to be intractable.
Some Mathematica code
for counting number of solutions by brute force (and links
to some previous solutions).