The Good

• Large, active community
• Mature
• Reasonably fast
• Many additional projects have built upon tla (ViewARCH, GUI, etc.)
• Few dependencies, so easy to install