@hackage / ampersand

Toolsuite for automated design of business processes.