Strasheela は、表現力の高い制約に基づく作曲システムです。ユーザー宣言によって音楽理論の状態し、コンピューターはこの理論に準拠している音楽を生成します。理論は、いくつかの側面は変数 (未知数) によって表現される音楽表現に適用される規則 (制約) のセットによって制約充足問題 (CSP) として定式化します。音楽制約プログラミング スタイル独立であり、非常に複雑な理論 (例えば調和の本格的な理論) に適しています。結果は、MIDI、Lilypond、Csound など様々 なフォーマットに出力することができます。