PyPhon

Our main project is currently PyPhon, a suite of software for implementing phonological models in Optimality Theory (OT) and Harmonic Grammar (HG). It offers most of the capabilities of OTSoft, plus many more. It consists of several command-line tools that can be used quickly and easily right out of the box, as well as an extensive library of Python modules that programmers can incorporate into their own code.

Features

State your model as a set of hand-crafted tableaux, as in OTSoft or OT-Help, or simply specify your constraints as regular expressions, and let full tableaux be computed automatically for any input forms.
Tableaux candidates can be generated for either OT or HG.
Produce finite state diagrams of your regular constraints.
Generate optima and/or typologies in both OT and HG, optionally subject to grammatical restrictions that can be specified in a variety of ways:

As stratified hierarchies (OT)
As partial orders (OT)
As sets of elementary ranking conditions (OT)
As sets of weight assignments and/or inequalities (HG)

Count the number of rankings (OT), or volume of weightings (HG), that generate each output form.
Compute typological implications (T-Orders; a la Anttila and Andrus 2006) and render pretty graphs.
Create and search typologies in cyclic OT and two-tiered LPM-OT (after Kiparsky, 2000).

Coming soon: generate Hasse diagrams, work with candidate chains, output LaTeX code for rendering tableaux in your papers, and more.

See our PyPhon Installation Guide.