Casting And Role Management Equality System is a software package which assists in the casting of roles in theatrical productions.

CARMEN uses boolean satisfiability problem (SAT) and artificial neural networks (ANNs) to improve the balance of talent between alternative casts, the accuracy of recommendations and spread of roles allocated to applicants.

The user acceptance testing by five members of the CGS production team found it was faster, easier to use and more intelligent than the previous software, with all five recommending it for use by other production companies.