ß-Software

The Scaling and Probabilistic Smoothing (SAPS) software is available at the Dynamic Local Search for SAT project page

The Hotknots Package (tarred, gzipped file)
The RNASoft web page: software for RNA secondary structure prediction

(other software coming soon...)