RNA folding with hard and soft constraints | Synapse