Strasheela ist ein sehr ausdrucksfähiges Musik-Kompositions-System, das auf Randbedingungen beruht. Die Anwender legen eine zu verwendende Musiktheorie fest, und der Rechner erzeugt Musik, die zu dieser Theorie konform ist. Eine Theorie wird als Problem formuliert, das Randbedingungen einhalten muss. Dazu müssen Regeln angegeben werden, die sich auf eine Musik-Repräsentation beziehen, in der einige Aspekte durch Variablen ausgedrückt werden. Diese Art der Programmierung ist unabhängig von Stilen und ist gut geeignet für sehr komplexe Theorien (z.B. eine vollständige Harmonielehre). Die Ergebnisse können in verschiedenen Formaten ausgegeben werden, darunter MIDI, Lilypond und Csound. (non)