about αRby declarative modeling language embedded in an imperative programming language beneficial to both the modeling community of Alloy and the object-oriented community of Ruby programmers benefits to Alloy users: mixed execution partial instances staged model finding benefits to Ruby users: seamless embedding of a relational constraint solver download & run downloadarby @ github licenseGPLv3