Unified installer for all Runtime Verification Inc. products - View it on GitHub