Optimality Theory Software
OTSoft is meant to facilitate analysis in Optimality Theory (Prince and Smolensky 1993) by using algorithms to do work that would have to be done (tediously, and perhaps unreliably) by hand. [by Bruce Hayes, UCLA]